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 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Research on safety verification methods of static data of train control systems based on deep association rules;The Journal of Supercomputing;2024-02-28

3. Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram;IEEE Access;2024

4. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024

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