Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from a

The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to

This handbook provides a consolidated, comprehensive information resource for engineers working with mission and safety critical systems. Principles, regulation

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general e