Author_Institution :
Texas Univ., Dallas, TX, USA
Abstract :
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
Keywords :
safety-critical software; security of data; software fault tolerance; availability; evolvability; high assurance system applications; project summaries; safety; security; software reliability; system design; timeliness; Availability; Hardware; Laboratories; Missiles; Monitoring; National security; Nuclear weapons; Sockets; Software safety; US Department of Energy;
