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.
