Software Model Checking of Interlocking Programs

James, Phillip; Moller, Faron; Roggenbach, Markus

doi:10.1007/978-3-031-40132-9_9

Book chapter 594 views 29 downloads

Software Model Checking of Interlocking Programs

Phillip James

, Faron Moller

, Markus Roggenbach

Lecture Notes in Computer Science, Volume: 14165, Pages: 130 - 146

Swansea University Authors: Phillip James , Faron Moller , Markus Roggenbach

PDF | Accepted Manuscript

Accepted Manuscript Version: © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
Download (3.84MB)

Check full text

DOI (Published version): 10.1007/978-3-031-40132-9_9

Abstract

In this paper, we report and reflect on successful technology transfer from Swansea University to Siemens Mobility over the years 2007-2022. This transfer concerns formal software verication technology for interlocking computers. It spans over Technology Readiness Levels TRL 1-7 and was reported on...

Full description

Published in:	Lecture Notes in Computer Science
ISBN:	9783031401312 9783031401329
ISSN:	0302-9743 1611-3349
Published:	Cham Springer Nature Switzerland 2023
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa63848

first_indexed	2023-07-10T12:48:32Z
last_indexed	2024-11-25T14:12:58Z
id	cronfa63848
recordtype	SURis
fullrecord	<?xml version="1.0"?><rfc1807><datestamp>2024-09-05T11:45:17.0509056</datestamp><bib-version>v2</bib-version><id>63848</id><entry>2023-07-10</entry><title>Software Model Checking of Interlocking Programs</title><swanseaauthors><author><sid>fd3b15ff96c5ea91a100131abac558b6</sid><ORCID>0000-0002-4307-649X</ORCID><firstname>Phillip</firstname><surname>James</surname><name>Phillip James</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>bf25e0b52fe7c11c473cc48d306073f7</sid><ORCID>0000-0001-9535-8053</ORCID><firstname>Faron</firstname><surname>Moller</surname><name>Faron Moller</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2023-07-10</date><deptcode>MACS</deptcode><abstract>In this paper, we report and reflect on successful technology transfer from Swansea University to Siemens Mobility over the years 2007-2022. This transfer concerns formal software verication technology for interlocking computers. It spans over Technology Readiness Levels TRL 1-7 and was reported on in two REF Impact Case Studies, in 2014 and 2021.</abstract><type>Book chapter</type><journal>Lecture Notes in Computer Science</journal><volume>14165</volume><journalNumber/><paginationStart>130</paginationStart><paginationEnd>146</paginationEnd><publisher>Springer Nature Switzerland</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783031401312</isbnPrint><isbnElectronic>9783031401329</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords/><publishedDay>17</publishedDay><publishedMonth>8</publishedMonth><publishedYear>2023</publishedYear><publishedDate>2023-08-17</publishedDate><doi>10.1007/978-3-031-40132-9_9</doi><url/><notes>Part of the Lecture Notes in Computer Science book series (LNCS,volume 14165)</notes><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2024-09-05T11:45:17.0509056</lastEdited><Created>2023-07-10T13:45:38.9284450</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Phillip</firstname><surname>James</surname><orcid>0000-0002-4307-649X</orcid><order>1</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>2</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>3</order></author></authors><documents><document><filename>63848__28458__55d8560f656d49738da04c745bbc9e7a.pdf</filename><originalFilename>63848.pdf</originalFilename><uploaded>2023-09-05T15:50:38.0265583</uploaded><type>Output</type><contentLength>4025377</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2024-08-17T00:00:00.0000000</embargoDate><documentNotes>Accepted Manuscript Version: © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling	2024-09-05T11:45:17.0509056 v2 63848 2023-07-10 Software Model Checking of Interlocking Programs fd3b15ff96c5ea91a100131abac558b6 0000-0002-4307-649X Phillip James Phillip James true false bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2023-07-10 MACS In this paper, we report and reflect on successful technology transfer from Swansea University to Siemens Mobility over the years 2007-2022. This transfer concerns formal software verication technology for interlocking computers. It spans over Technology Readiness Levels TRL 1-7 and was reported on in two REF Impact Case Studies, in 2014 and 2021. Book chapter Lecture Notes in Computer Science 14165 130 146 Springer Nature Switzerland Cham 9783031401312 9783031401329 0302-9743 1611-3349 17 8 2023 2023-08-17 10.1007/978-3-031-40132-9_9 Part of the Lecture Notes in Computer Science book series (LNCS,volume 14165) COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2024-09-05T11:45:17.0509056 2023-07-10T13:45:38.9284450 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Phillip James 0000-0002-4307-649X 1 Faron Moller 0000-0001-9535-8053 2 Markus Roggenbach 0000-0002-3819-2787 3 63848__28458__55d8560f656d49738da04c745bbc9e7a.pdf 63848.pdf 2023-09-05T15:50:38.0265583 Output 4025377 application/pdf Accepted Manuscript true 2024-08-17T00:00:00.0000000 Accepted Manuscript Version: © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG true eng
title	Software Model Checking of Interlocking Programs
spellingShingle	Software Model Checking of Interlocking Programs Phillip James Faron Moller Markus Roggenbach
title_short	Software Model Checking of Interlocking Programs
title_full	Software Model Checking of Interlocking Programs
title_fullStr	Software Model Checking of Interlocking Programs
title_full_unstemmed	Software Model Checking of Interlocking Programs
title_sort	Software Model Checking of Interlocking Programs
author_id_str_mv	fd3b15ff96c5ea91a100131abac558b6 bf25e0b52fe7c11c473cc48d306073f7 7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv	fd3b15ff96c5ea91a100131abac558b6_*_Phillip James bf25e0b52fe7c11c473cc48d306073f7__Faron Moller 7733869ae501442da6926fac77cd155b_**_Markus Roggenbach
author	Phillip James Faron Moller Markus Roggenbach
author2	Phillip James Faron Moller Markus Roggenbach
format	Book chapter
container_title	Lecture Notes in Computer Science
container_volume	14165
container_start_page	130
publishDate	2023
institution	Swansea University
isbn	9783031401312 9783031401329
issn	0302-9743 1611-3349
doi_str_mv	10.1007/978-3-031-40132-9_9
publisher	Springer Nature Switzerland
college_str	Faculty of Science and Engineering
hierarchytype
hierarchy_top_id	facultyofscienceandengineering
hierarchy_top_title	Faculty of Science and Engineering
hierarchy_parent_id	facultyofscienceandengineering
hierarchy_parent_title	Faculty of Science and Engineering
department_str	School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str	1
active_str	0
description	In this paper, we report and reflect on successful technology transfer from Swansea University to Siemens Mobility over the years 2007-2022. This transfer concerns formal software verication technology for interlocking computers. It spans over Technology Readiness Levels TRL 1-7 and was reported on in two REF Impact Case Studies, in 2014 and 2021.
published_date	2023-08-17T08:26:51Z
_version_	1821936883002769408
score	11.048064

Software Model Checking of Interlocking Programs

Similar Items