Skip to main content
Article thumbnail
Location of Repository

Safety-Critical Systems, Formal Methods and Standards

By Jonathan P. Bowen, Jonathan Bowen and Victoria Stavridou and Victoria Stavridou

Abstract

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 of an industrial scale. Some possible future directions are suggested

Year: 1993
OAI identifier: oai:CiteSeerX.psu:10.1.1.18.7190
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.museophile.sbu.ac.u... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.