Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

The 21st Century Engineering Consortium

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

1 Author(s)
Nassif, M.P. ; ERDD, Rome Lab., Rome, NY, USA

The goal of high assurance design is to correctly design, implement and verify an information processing system, from the component level to the system level. We are unable to build high assurance systems today because of our inability to cover the entire design process from specification to implementation with a high degree of certainty that errors or misinterpretations of the specification have not been introduced into the final product. While tremendous amounts of simulation and testing may produce an implementation that functions correctly for the test data, these systems often fail in the operational world. The US Air Force's Rome Laboratory and DARPA's Information Technology Office, (ITO), is establishing the 21st Century Engineering Consortium. The reason for establishing the consortium is to develop the engineering capability necessary to build highly assured systems. In short, Rome Laboratory and DARPA's ITO would like to see a larger number of students trained in engineering based upon formal methods, e.g. hardware verification (VHDL models), software verification (Ada, C, C++ code), requirements/specification analysis, as well as applying this technology to other problem domains

Published in:

Microelectronic Systems Education, 1997. MSE '97. Proceedings., 1997 IEEE International Conference on

Date of Conference:

21-23 Jul 1997