Book chapter 594 views 29 downloads
Software Model Checking of Interlocking Programs
,
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)
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...
| 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 |
| 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. |
|---|---|
| Item Description: |
Part of the Lecture Notes in Computer Science book series (LNCS,volume 14165) |
| College: |
Faculty of Science and Engineering |
| Start Page: |
130 |
| End Page: |
146 |