Incremental Life Cycle Assurance of Safety-Critical Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Incremental Life Cycle Assurance of Safety-Critical Systems


Finding problems and optimal designs in the requirements phase is more efficient than later phases. However, over-constraining the solution is also sub-optimal since not all information is necessarily available upfront. 'Build-then-test' approaches which insist on developing first requirements, then architecture, then implementation are not suitable for building systems that must be rapidly fielded and respond to ever-changing demands. Our approach, ALISA, is working on integrating four pillars for incrementally building systems which can be shown to satisfy the relevant requirements. Our four key pillars for assuring requirements satisfaction are requirements specifications, architecture models, verification techniques, and assurance case traceability between the first three. In this paper we introduce our approach, and highlight how we are integrating these pillars using an XText-driven DSL and tool meta-model leveraging existing tools and languages. Our current focus is on understanding exactly which requirements are responsible for the majority of design constraints. Identifying this subset promises to reduce architecture design space exploration and verification overhead, increasing delivery cadence.
Fichier principal
Vignette du fichier
paper_13.pdf (354.2 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01289468 , version 1 (16-03-2016)


  • HAL Id : hal-01289468 , version 1


Julien Delange, Peter Feiler, Ernst Neil. Incremental Life Cycle Assurance of Safety-Critical Systems. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01289468⟩


858 View
731 Download


Gmail Facebook X LinkedIn More