Interoperability between Risk Assessment and System Design for Railway Safety Critical Signalling System Development
Résumé
The goal of this paper is mainly to show how it would be possible to improve collaboration between system designer and safety assurance manager. Both of them use models since long time but those are generally non interoperable because of their different viewpoints on the system. In this work a tooled methodology has been developed allowing safety engineers to build their models by requesting directly the system design model. Hence, the risk assessment is strongly coupled with the designer production. Formal methods are used to complete the safety analysis to record rigorous reasoning about system safety properties proof in a formal model.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...