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

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Proceedings, 4th IEEE International Symposium on High-Assurance Systems Engineering, November 17-19, 1999, Washington, D.C. PDF full book. Access full book title Proceedings, 4th IEEE International Symposium on High-Assurance Systems Engineering, November 17-19, 1999, Washington, D.C. by . Download full books in PDF and EPUB format.

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

Proceedings, 4th IEEE International Symposium on High-Assurance Systems Engineering, November 17-19, 1999, Washington, D.C. PDF Author:
Publisher:
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 294

Book Description
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.
➤