Proceedings 1997 High-Assurance Engineering Workshop

The following topics were dealt with: high-consequence operations; integrating and evaluating fault tolerance and formal methods; key applications in embedded systems; integrated design and development of high-assurance systems; tools and techniques for formal specification and their use in the real world; high-assurance techniques and their role in real-world applications; practical methods for designing, implementing and automatically analysing embedded real-time software; software complexity analysis on Department of Defense real-time systems; high-assurance systems engineering (HASE) application to the development of military aircraft; integrating specification, design and evaluation techniques for high-assurance systems; key applications in high-assurance systems; protocol failure and tools for preventing it; testing, verification and quality-of-service control for high-assurance systems; the integration of multiple criteria in high-assurance systems; and secure executable content (Java security)