Using Process Models in System Assurance

Research output: Chapter in Book/Report/Conference proceedingConference contribution


When creating an assurance justification for a critical system, the focus is often on demonstrating technical properties of that system. Complete, compelling justifications also require consideration of the processes used to develop the system. Creating such justifications can be an onerous task for systems using complex processes and highly integrated tool chains. In this paper we describe how process models can be used to automatically generate the process justifications required in assurance cases for critical systems. We use an example case study to illustrate an implementation of the approach.We describe the advantages that this approach brings for system assurance and the development of critical systems.

Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Proceedings
EditorsAmund Skavhaug, Jérémie Guiochet, Friedemann Bitsch
Number of pages12
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9922 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Cite this