Key applications for high-assurance systems

The paper consists of project summaries concerning high-assurance systems. Those who are grappling with practical high-assurance design issues report their strategies, the problems they solved, and the challenges that remain. The six summaries represent a cross-section of projects and domains with s...

Full description

Saved in:
Bibliographic Details
Published in:Computer (Long Beach, Calif.) Calif.), 1998-04, Vol.31 (4), p.35-36
Main Authors: I-Ling Yen, Paul, R.
Format: Article
Language:English
Subjects:
Availability
Case studies
Computer programming
Hardware
Laboratories
Missiles
Monitoring
National security
Nuclear weapons
Problem solving
Sockets
Software safety
US Department of Energy
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The paper consists of project summaries concerning high-assurance systems. Those who are grappling with practical high-assurance design issues report their strategies, the problems they solved, and the challenges that remain. The six summaries represent a cross-section of projects and domains with some strikingly similar challenges. Although they address diverse domains, these reports reveal a set of common criteria for high assurance. Generally speaking, the critical criteria are reliability, availability, safety, timeliness, security and evolvability.
ISSN:0018-9162
1558-0814
DOI:10.1109/2.666841