Publisher's Synopsis
An authoritative report on the design of safety–critical computer systems. Presents issues involved in the development of high–integrity software for life–crucial applications plus a review of the latest tools and techniques. Supplemented by recent U.K. Ministry of Defense Standard 00–55 and other guidance material.