Skip to Main content Skip to Navigation
Conference papers

Incremental Life Cycle Assurance of Safety-Critical Systems

Abstract : 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.
Complete list of metadatas

Cited literature [24 references]  Display  Hide  Download
Contributor : Marc Boyer <>
Submitted on : Wednesday, March 16, 2016 - 5:57:40 PM
Last modification on : Wednesday, March 16, 2016 - 6:07:04 PM
Document(s) archivé(s) le : Friday, June 17, 2016 - 10:55:58 AM


Files produced by the author(s)


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



Record views


Files downloads