An Iterative Approach for Development of Safety-Critical Software and Safety Arguments
An Iterative Approach for Development of Safety-Critical Software and Safety Arguments
复制标题
开发安全关键软件和安全论证的迭代方法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
J. Mcdermid
中科院分区：
文献类型：
--
作者：
Xiaocheng Ge;R. Paige;J. Mcdermid
敏捷方法的好处对在安全关键软件领域工作的软件工程师很有吸引力。在这一领域，敏捷方法成功应用的行业经验和证据有限，然而，学术研究已经确定了采用和应用敏捷方法的一些关键挑战，并已开始进行可行性研究。在本文中，我们提出了一个迭代的方法来开发安全关键的软件，两个新的贡献。首先，我们解决了安全关键软件开发中的前期设计的概念，并描述了从实现安全目标的角度来看，最小的风扇前期设计的特点。其次，我们确定了一个关键的困难，使用迭代开发建设安全关键软件，并提出了一种方法来开发一个软件系统和一个安全参数迭代。我们还给出了一个概念验证的例子，说明使用的方法的细节。
The benefits ascribed to Agile methods are attractive to software engineers working in the safety-critical software domain. There is limited industrial experience and evidence of successful applications of Agile methods in this domain, however, academic research has identified some of the key challenges of their adoption and application, and has started to present feasibility studies. In this paper, we propose an iterative approach for developing safety-critical software, making two novel contributions. Firstly, we address the notion of up-front design in safety-critical software development, and describe the characteristics fan up-front design that is minimal from the perspective of achieving safety objectives. Secondly, we identify a key difficulty of using iterative development for building safety-critical software, and present a way to develop both a software system and a safety argument iteratively. We also give details of a proof-of-concept example illustrating the use of the approach.