Software Model Checking of Interlocking Programs.

Phillip James,Faron Moller,Markus Roggenbach

Applicable Formal Methods for Safe Industrial Products（2023）

引用 0|浏览8

暂无评分

摘要

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 verification 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 [17, 18].

查看译文

关键词

interlocking programs,software model checking

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要