@inproceedings{ae4ee18fe300460f9d4d0d298265ba83,
title = "Using Process Models in System Assurance",
abstract = "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.",
author = "Richard Hawkins and Thomas Richardson and Tim Kelly",
year = "2016",
doi = "10.1007/978-3-319-45477-1_3",
language = "English",
isbn = "9783319454764",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "27--38",
editor = "Amund Skavhaug and J{\'e}r{\'e}mie Guiochet and Friedemann Bitsch",
booktitle = "Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Proceedings",
}