系统安全保障：设计与论证模式综述
软件工程
2019-02-15 v1
摘要
安全性的规约、设计与保障涵盖了各种概念和最佳实践，这些可作为模式被复用。本工作总结了关于此类概念与实践的应用研究，重点关注过去二十年以及安全关键系统设计与保障论证中模式的最新进展。我们考察了此类模式的若干方面，例如它们被应用的位置与时机、其特征与目的，以及它们之间的关联。对于每个方面，我们提供了相关研究的概览，并综合出支撑这些模式的基本原则的分类法。此外，我们评论了这些研究如何应对已知挑战，并讨论了进一步研究的建议。我们的发现揭示出，关于模式如何改进系统安全性主张、反之系统安全性如何分解为分离的局部关注点，以及安全性受安全性的影响等方面研究的缺乏。
引用
@article{arxiv.1902.05537,
title = {Assurance of System Safety: A Survey of Design and Argument Patterns},
author = {Mario Gleirscher and Stefan Kugele},
journal= {arXiv preprint arXiv:1902.05537},
year = {2019}
}