SARA component approach for the development of railway safety-­critical applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2014

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

Résumé

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
Fichier principal
Vignette du fichier
poster-cbse.pdf (616.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01110253 , version 1 (27-01-2015)

Identifiants

  • HAL Id : hal-01110253 , version 1

Citer

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⟩
226 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More