Formal methods for developing high assurance computer systems: Working group report

M. P.E. Heimdahl, C. L. Heitmeyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Abstract

The Second International Workshop on Industrial-Strength Formal Techniques (WIFT'98) was held in October, 1998, in Boca Raton, Florida. At the workshop, four different discussion groups investigated various topics. This report summarizes the discussions conducted on the topic Formal Methods for Developing High Assurance Systems. The consensus of the group was that formal methods are mature enough to be applied in software development. The methods have proven their worth in numerous industrial projects, and there is little doubt that they have an important place in the software development process. Transferring formal methods technology to industry is largely a non-technical problem (it is often a culture clash) and the transfer is happening (slowly). The group agreed that there have been few major breakthroughs in formal methods usage since WIFT'95. The one notable exception is the increased use of model checking technology in microprocessor design. In the hardware community, the use of formal methods has moved into the rapid adoption stage, and some formal analysis tools have become part of the standard practice. The use of formal methods in software engineering is currently limited to the early adopters. The challenge for the software community for the next few years is to follow the lead of the hardware community by successfully transferring formal methods technology into the development of high-assurance software systems.

Original languageEnglish (US)
Title of host publicationProceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages60-64
Number of pages5
ISBN (Electronic)0769500811, 9780769500812
DOIs
StatePublished - Jan 1 1998
Event2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998 - Boca Raton, United States
Duration: Oct 21 1998Oct 23 1998

Publication series

NameProceedings - 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998
Volume1998-October

Other

Other2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT 1998
CountryUnited States
CityBoca Raton
Period10/21/9810/23/98

Fingerprint Dive into the research topics of 'Formal methods for developing high assurance computer systems: Working group report'. Together they form a unique fingerprint.

Cite this