By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Heimdahl, M.P.E. ; Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA ; Heitmeyer, C.L.

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

Published in:

Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on

Date of Conference: