We propose to formally model requirements and interoperability constraints among components of a railway system to enable automated, incremental analysis and validation mechanisms. The goal is to provide the basis for a technology that can drastically reduce the time and cost for certification by making it possible to trace changes from requirements via design to implementation.
CITATION STYLE
Hähnle, R., & Muschevici, R. (2016). Towards incremental validation of railway systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9953 LNCS, pp. 433–446). Springer Verlag. https://doi.org/10.1007/978-3-319-47169-3_36
Mendeley helps you to discover research relevant for your work.