Formal Methods and their Role in the Certification of Critical Systems
Formal Methods and their Role in the Certification of Critical Systems
复制标题
形式化方法及其在关键系统认证中的作用
DOI：
10.1007/978-1-4471-0921-1_1
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
J. Rushby
中科院分区：
文献类型：
--
作者：
J. Rushby
本文描述了形式化方法的基本原理，并考虑了将这些方法应用于关键应用中使用的数字系统的优点、缺点和困难。它提出了在DO-178 B（民用飞机上使用的软件指南）[40]等背景下提供正式方法以支持认证时的考虑因素。本演示文稿是为那些谁这些主题是新的。关于正式方法的更技术性的讨论可参见技术报告[42]。
This article describes the rationale for formal methods and considers the benefits, weaknesses, and difficulties in applying these methods to digital systems used in critical applications. It suggests factors for consideration when formal methods are offered in support of certification in a context such as DO-178B (the guidelines for software used on board civil aircraft) [40]. The presentation is intended for those to whom these topics are new. A more technical discussion of formal methods is available as a technical report [42].