系统变更后维持安全论证证据的方法
软件工程
2014-04-29 v1
摘要
某些安全关键系统的开发者会构建安全论证（safety case）。在开发过程中或发布后对系统进行变更的开发者必须分析变更对安全论证的影响。系统设计、运行或环境背景的变更可能会使证据失效。在一种背景下有效的假设在其他地方可能无效。变更的影响可能并不明显。本文提出了一种方法，通过突出显示变更的影响来促进安全论证的维护。
引用
@article{arxiv.1404.6846,
title = {An Approach to Maintaining Safety Case Evidence After A System Change},
author = {Omar Jaradat and Patrick Graydon and Iain Bate},
journal= {arXiv preprint arXiv:1404.6846},
year = {2014}
}
备注
EDCC-2014, Fast-Abstracts