SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS

被引：108

作者：

BOWEN, J

STAVRIDOU, V

机构：

[1] UNIV OXFORD, COMP LAB, PROGRAMMING RES GRP, OXFORD OX1 3QD, ENGLAND

[2] UNIV LONDON, ROYAL HOLLOWAY & BEDFORD NEW COLL, DEPT COMP SCI, EGHAM TW20 0EX, SURREY, ENGLAND

来源：

SOFTWARE ENGINEERING JOURNAL | 1993年 / 8卷 / 04期

关键词：

D O I：

10.1049/sej.1993.0025

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. This paper examines the industrial use of these techniques, the recommendations concerning formal methods in a number of current and draft standards, and comments on the applicability and problems of using formal methods for the development of safety-critical systems on an industrial scale. Some possible future directions are suggested.

引用

页码：189 / 209

页数：21