Safety component-based approach and its application to ERTMS/ETCS on-board train control system - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Safety component-based approach and its application to ERTMS/ETCS on-board train control system

Résumé

Safety-critical software is becoming more and more complex and at the same time it operates in frequently changing environments on which it reacts by reconfiguring its architecture. Thus, an appropriate modelling approach is needed to reduce the complexity of designing and to enable the verification of dynamic reconfiguration behaviour before the deployment at runtime. The paradigm of software component-based engineering provides an essential support for this. However, composing software from many reconfigurable components can lead to a huge number of possible compositional configurations difficult to handle at design time. Moreover, analysing all possible sequences of reconfiguration, including failure situations, is far beyond feasibility without an appropriate abstraction and granularity levels. In this paper, we propose a hierarchical component-based design approach to reduce the complexity of designing and to analyse the dynamic reconfiguration behaviour. We illustrate our approach with a case study derived from ERTMS/ETCS level 2.
Fichier principal
Vignette du fichier
tra2014_revised.pdf (2.02 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00918907 , version 1 (16-12-2013)

Identifiants

  • HAL Id : hal-00918907 , version 1

Citer

Marc Sango, Christophe Gransart, Laurence Duchien. Safety component-based approach and its application to ERTMS/ETCS on-board train control system. TRA2014 Transport Research Arena 2014, Apr 2014, Paris, France. ⟨hal-00918907⟩
427 Consultations
739 Téléchargements

Partager

Gmail Facebook X LinkedIn More