Safety component-based approach and its ...
Type de document :
Communication dans un congrès avec actes
Titre :
Safety component-based approach and its application to ERTMS/ETCS on-board train control system
Auteur(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]
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]
Titre de la manifestation scientifique :
TRA2014 Transport Research Arena 2014
Ville :
Paris
Pays :
France
Date de début de la manifestation scientifique :
2014-04-14
Date de publication :
2014-04-14
Discipline(s) HAL :
Informatique [cs]/Génie logiciel [cs.SE]
Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >
Lire la suite >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.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.inria.fr/hal-00918907/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/hal-00918907/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- tra2014_revised.pdf
- Accès libre
- Accéder au document