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

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

"I highly recommend Mr. Hobbs' book." - Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com Safety-critical devices, whether medical, automot

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 is the first edition of 'The Engineering of Reliable Embedded Systems': it is released here largely for historical reasons. (Please consider purchasing 'ER