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
Domains
Software Engineering [cs.SE]
Origin : Files produced by the author(s)