Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO-Reference-Cited by-同舟云学术

Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

Published:2014 Issue: Volume: Page:221-236
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Abo Robert,Voisin Laurent

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-05032-4_17

Reference15 articles.

1. Leveson, N.G.: Safeware - System Safety and Computers: A Guide to Preventing Accidents and Losses Caused by Technology. Addison-Wesley, Reading (1995)

2. International Electrotechnical Commission (IEC): Functional safety of electrical/electronic/programmable electronic safety-related systems (IEC 61508)

3. European Committee for Electrotechnical Standardization (CENELEC): Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (EN 50126)

4. European Committee for Electrotechnical Standardization (CENELEC): Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (EN 50128)

5. European Committee for Electrotechnical Standardization (CENELEC): Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling (EN 50129)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Tool-Chain for the Verification of Geographic Scheme Data;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023

2. Formal Methods in Railways: A Systematic Mapping Study;ACM Computing Surveys;2022-11-21

3. An embedding of B in Clojure;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

4. Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022

5. Generating and Verifying Configuration Data with OVADO;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022