By Topic

Toward integrated methods for high-assurance systems

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

3 Author(s)
I-Ling Yen ; Texas Univ., Dallas, TX, USA ; Paul, R. ; Mori, K.

Computers have become indispensable, largely because they automate and control most systems we interact with. Even though computing technology is constantly improving, relying on computers to this degree fosters an urgent need for high-assurance systems. Among the typical applications of high-assurance systems, high-consequence systems are the most critical. The unsafe failure of these systems can result in catastrophic loss of life, damage to property, or social chaos. The authors consider how developers must use consistent, rigorous methods throughout the development process, from requirements specification and design to implementation and assessment

Published in:

Computer  (Volume:31 ,  Issue: 4 )