The first edition of "Engineering of Reliable Embedded Systems" (ERES1) documents an industry-proven approach to the development of software for reliable, real-time embedded systems, based on the use of time-triggered (TT) architectures.

- A comprehensive "Model-Build-Monitor" methodology for TT systems is presented.
- Modelling of TT systems is explored in detail, with numerous worked examples.
- Extensive (and complete) code examples are included.
- Run-time monitoring techniques are described in detail.
- Links to related international safety standards and guidelines are included throughout the text.

The techniques described in "ERES1" have been applied successfully in designs ranging from household goods to industrial systems.