Continuous Deployment for Dependable Systems with Continuous Assurance Cases
Authors: Fredrik Warg, Hans Blom, Jonas Borg, and Rolf Johansson
Abstract:

An assurance case contains a structured argument supported by evidence, demonstrating that a system fulfils a certain quality attribute such as safety, cybersecurity or reliability. The traditional way of building assurance cases is, however, not well suited to continuous deployment, and difficult to maintain with a product structure where many variants and frequent new versions must be managed. By integrating the assurance work with product development in continuous assurance cases, which are updated and assessed iteratively, we claim continuous deployment of dependability-critical products is possible to achieve. In this paper we propose a work process combining the use of component-based design, contracts, modular assurance cases, and continuous assessment to enable continuous deployment in the context of product lines.

Keywords: Assurance case, Safety case, Safety Contracts, Continuous assessment, Continuous deployment.
Fulltext: (to be added)
Published: The 9th IEEE International Workshop on Software Certification, WOSoCer 2019
Presentation: pdf


Last modified: