Proceedings, 4th IEEE International Symposium on High-Assurance Systems Engineering, November 17-19, 1999, Washington, D.C.

Download or read book Proceedings, 4th IEEE International Symposium on High-Assurance Systems Engineering, November 17-19, 1999, Washington, D.C. written by and published by . This book was released on 1999 with total page 294 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings of the November 1999 symposium which focused on the development of embedded systems. Examples of high-assurance embedded applications are flight control systems, medical surgery equipment, military command systems, vehicle braking components, pacemakers, traffic-light control systems, and satellites. The major topics of the 24 papers are evaluation and testing, fault analysis, reliable communications, frameworks, systems and tools, metrics and modeling, and the use of UML in designing high assurance systems. Case studies analyze the results of applying the latest research to real systems. Three practical experience reports, and 11 summaries from three panel discussions round out the volume. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.