SARA component approach for the development of railway safety-­critical applications

Abstract : Context: To provide high availability, software control applications, such as on-board train supervision applications must be fault-tolerant. The idea to guarantee dependability requirements is to enhance the established approaches like the CBSE with fault tolerance mechanisms (e.g., replication techniques or degraded modes of operation) [1]. Furthermore, due to the nature of safety-critical software and its certification requirements, dependability requirements must be traceable along the development process in order to facilitate the certification process [2]. This context raises the following challenges. Challenge 1 (separation of concerns). In order to ensure that critical requirements are properly implemented, dependability requirements have to be separated from other requirements at each stage of software life-cycle Challenge 2 (traceability of concerns) In order to facilitate the certification process, dependability requirements have to be separated and traceable at each stage of software life-cycle, from requirement analysis to component instance. Proposal : Our contribution consists of an integrated component-based
Type de document :
Poster
ACM SIGSOFT CompArch 2014, Jun 2014, Lille, France. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01110253
Contributeur : Marc Sango <>
Soumis le : mardi 27 janvier 2015 - 17:21:10
Dernière modification le : jeudi 11 janvier 2018 - 06:25:38
Document(s) archivé(s) le : samedi 12 septembre 2015 - 06:36:53

Fichier

poster-cbse.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01110253, version 1

Citation

Marc Sango, Laurence Duchien, Christophe Gransart. SARA component approach for the development of railway safety-­critical applications. ACM SIGSOFT CompArch 2014, Jun 2014, Lille, France. 2014. 〈hal-01110253〉

Partager

Métriques

Consultations de la notice

366

Téléchargements de fichiers

92