Interoperability between Risk Assessment and System Design for Railway Safety Critical Signalling System Development - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Interoperability between Risk Assessment and System Design for Railway Safety Critical Signalling System Development

Marielle Petit-Doche
  • Fonction : Auteur
Frédéric Thomas Obeo
  • Fonction : Auteur
Fabien Belmonte
  • Fonction : Auteur
  • PersonId : 880314

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.
Fichier principal
Vignette du fichier
4D-2.pdf (1.32 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02192415 , version 1 (23-07-2019)

Identifiants

  • HAL Id : hal-02192415 , version 1

Citer

Marielle Petit-Doche, Frédéric Thomas Obeo, Fabien Belmonte. Interoperability between Risk Assessment and System Design for Railway Safety Critical Signalling System Development. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02192415⟩

Collections

ERTS2012
51 Consultations
37 Téléchargements

Partager

More