Skip to Main content Skip to Navigation
Poster communications

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
Document type :
Poster communications
Complete list of metadata

https://hal.inria.fr/hal-01110253
Contributor : Marc Sango <>
Submitted on : Tuesday, January 27, 2015 - 5:21:10 PM
Last modification on : Saturday, December 12, 2020 - 6:08:02 PM
Long-term archiving on: : Saturday, September 12, 2015 - 6:36:53 AM

File

poster-cbse.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

430

Files downloads

160