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

Abstract : 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.
Type de document :
Communication dans un congrès
TRA2014 Transport Research Arena 2014, Apr 2014, Paris, France. 2014
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00918907
Contributeur : Marc Sango <>
Soumis le : lundi 16 décembre 2013 - 09:43:05
Dernière modification le : jeudi 11 janvier 2018 - 06:25:38
Document(s) archivé(s) le : mardi 18 mars 2014 - 15:20:41

Fichier

tra2014_revised.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00918907, version 1

Citation

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. 2014. 〈hal-00918907〉

Partager

Métriques

Consultations de la notice

622

Téléchargements de fichiers

810