Formal methods in safety-critical standards

There is great interest in ensuring correctness of safety-critical embedded systems since on the one hand the use of software gives greatly increased functionality and flexibility and on the other hand it provides unprecedented possibilities for errors. Formal methods are one technique that could improve the situation. Their use is now being suggested by an increasing number of standards in the safety-critical area. The paper compares the recommendations given by a number of important existing and emerging standards and tries to identify future trends in this area. A bibliography of standards and related publications is included.<<ETX>>

[1]  F. J. Redmill.  Dependability of Critical Computer Systems 1 , 1988 .

[2]  D J Smith,et al.  Engineering Quality Software: A Review of Current Practices, Standards and Guidelines including New Methods and Development Tools , 1989 .

[3]  Cornelia Boldyreff,et al.  The case for formal methods in standards , 1990, IEEE Software.

[4]  C. Hennebert,et al.  SACEM software validation , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[5]  Anthony Hall,et al.  Seven myths of formal methods , 1990, IEEE Software.

[6]  M.J.D. Brown.  Rationale for the development of the UK defence standards for safety-critical computer software , 1990, IEEE Aerospace and Electronic Systems Magazine.

[7]  Nancy G. Leveson,et al.  Software safety in embedded computer systems , 1991, CACM.

[8]  John N. Buxton,et al.  Software technology transfer , 1991, Softw. Eng. J..

[9]  C. L. Wright,et al.  Existing and emerging standards for software safety , 1991, [1991 Proceedings] Fourth Software Engineering Standards Application Workshop.

[10]  J. P. Potocki de Montalk.  Computer software in civil aircraft , 1991 .

[11]  Leonard L. Tripp.  What is the future of software engineering standards?: discussion paper , 1992, SOEN.

[12]  H. Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992, Dependable Computing and Fault-Tolerant Systems.

[13]  Brian A. Wichmann.  Software in safety-related systems , 1992 .

[14]  Jonathan P. Bowen,et al.  Formal Methods and Software Safety , 1992 .

[15]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[16]  Peter G. Neumann.  Illustrative risks to the public in the use of computer systems and related technology , 1992, SOEN.

[17]  Ian Sommerville,et al.  Software engineering, 4th Edition , 1992, International computer science series.

[18]  David Garlan,et al.  Formal Methods for Software Engineers: Tradeoffs in Curriculum Design , 1992, CSEE.

[19]  D.R. Wallace,et al.  An analysis of selected software safety standards , 1992, IEEE Aerospace and Electronic Systems Magazine.

[20]  Peter Gorm Larsen,et al.  Standards for Non- Executable Specification Languages , 1992, Comput. J..

[21]  Jonathan P. Bowen,et al.  The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective , 1993, FME.

[22]  Dan Craigen,et al.  Formal Methods Reality Check: Industrial Usage , 1993, FME.

[23]  Felix Redmill,et al.  Directions in Safety-Critical Systems , 1993, Springer London.

[24]  P.V. Bhansali.  Survey of software safety standards shows diversity , 1993, Computer.

[25]  Jonathan P. Bowen,et al.  Safety-critical systems, formal methods and standards , 1993, Softw. Eng. J..

[26]  Brian A. Wichmann,et al.  Conformity Clause for VDM-SL , 1993, FME.

[27]  Felix Redmill,et al.  Safety-critical Systems: Current issues, techniques and standards , 1993 .

[28]  Martyn Thomas.  The industrial use of formal methods , 1993, Microprocess. Microsystems.

[29]  J. M. Rata.  Standardization efforts worldwide , 1993 .

[30]  Jim Woodcock,et al.  FME '93: Industrial-Strength Formal Methods , 1993, Lecture Notes in Computer Science.

[31]  Peter G. Neumann,et al.  Illustrative risks to the public in the use of computer systems and related technology , 1994, SOEN.