@inbook{a5c077fb3901448998de28f0c2cbe9a5,
title = "Assurance cases for block-configurable software",
abstract = "One means of supporting software evolution is to adopt an architecture where the function of the software is defined through reconfiguring the flow of execution and parameters of pre-existing components. For such software it is desirable to maximise the reuse of assurance assets, and minimise re-verification effort in the presence of change. In this paper we describe how a modular assurance case can be established based upon formal analysis of the necessary preconditions of the component. Our approach supports the reuse of arguments and evidence established for components, including the results of the formal analysis.",
author = "Richard Hawkins and Alvaro Miyazawa and Ana Cavalcanti and Tim Kelly and John Rowlands",
year = "2014",
doi = "10.1007/978-3-319-10506-2_11",
language = "English",
isbn = "9783319105055",
volume = "8666 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "155--169",
editor = "Andrea Bondavalli and {Di Giandomenico}, Felicita",
booktitle = "Computer Safety, Reliability, and Security",
address = "Germany",
note = "33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014 ; Conference date: 10-09-2014 Through 12-09-2014",
}