Home Bio Publications Contact

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
Year-Month: 2019-10
Published: 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
Publication type: Workshop paper
Workshop: The 9th IEEE International Workshop on Software Certification (WoSoCer 2019)
Bibtex:
@inproceedings{ContAssuranceCases_wosocer2019,
  title     = {Continuous Deployment for Dependable Systems with Continuous Assurance Cases},
  author    = {Warg, Fredrik and Blom, Hans and Borg, Jonas and Johansson, Rolf},
  year      = {2019},
  month     = {10},
  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},
  booktitle = {2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)},
  doi       = {10.1109/ISSREW.2019.00091},
  note      = {Publication data: https://warg.org/fredrik/publ/}
}