Title :

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

Author(s) :

Sango, Marc [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université Lille Nord de France (COMUE)
Laboratoire Électronique Ondes et Signaux pour les Transports [IFSTTAR/COSYS/LEOST]
Université de Lille, Sciences et Technologies
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Gransart, Christophe [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université Lille Nord de France (COMUE)
Laboratoire Électronique Ondes et Signaux pour les Transports [IFSTTAR/COSYS/LEOST]
Duchien, Laurence [Auteur]
Self-adaptation for distributed services and large software systems [SPIRALS]
Université Lille Nord de France (COMUE)
Université de Lille, Sciences et Technologies
Laboratoire d'Informatique Fondamentale de Lille [LIFL]

Conference title :

TRA2014 Transport Research Arena 2014

City :

Paris

Country :

France

Start date of the conference :

2014-04-14

Publication date :

2014-04-14

HAL domain(s) :

Informatique [cs]/Génie logiciel [cs.SE]

English abstract : [en]

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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL