Abstract
This article presents a novel use of OVADO, a data validation tool for railway systems configuration, and its application in an industrial setting. We describe how OVADO usage evolved from data validation to generation of equipment configuration data, and report on the application of this technique in a real industrial context: the deployment of the OCTYS VTPA system by Alstom on Line 6 of the Paris metro, operated by RATP. While this new method requires some adaptation in industrial processes in order to retain compliance with a SIL4 safety level, it improves translation quality and factorizes data generation and verification activities.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
OVADO\(^2\)® is a RATP tool distributed and partly designed by Systerel (see https://www.ovado.fr).
References
Abo, R., Voisin, L.: Formal implementation of data validation for railway safety-related systems with OVADO. In: Counsell, S., Núñez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 221–236. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-05032-4_17
CEN: Railway applications-communication, signalling and processing systems-software for railway control and protection systems (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Badeau, F., Chappelin, J., Lamare, J. (2022). Generating and Verifying Configuration Data with OVADO. In: Collart-Dutilleul, S., Haxthausen, A.E., Lecomte, T. (eds) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2022. Lecture Notes in Computer Science, vol 13294. Springer, Cham. https://doi.org/10.1007/978-3-031-05814-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-05814-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-05813-4
Online ISBN: 978-3-031-05814-1
eBook Packages: Computer ScienceComputer Science (R0)