Key applications for high-assurance systems
I‐Ling Yen, R. Paul · Computer · 1998
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.