Assurance cases for block-configurable software

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
Subtitle of host publication33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings
EditorsAndrea Bondavalli, Felicita Di Giandomenico
Place of PublicationCham
PublisherSpringer
Pages155-169
Number of pages15
Volume8666 LNCS
ISBN (Electronic)9783319105062
ISBN (Print)9783319105055
DOIs
Publication statusPublished - 2014
Event33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014 - Florence, United Kingdom
Duration: 10 Sept 201412 Sept 2014

Publication series

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

Conference

Conference33rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014
Country/TerritoryUnited Kingdom
CityFlorence
Period10/09/1412/09/14

Cite this