The Engineering of Reliable Embedded Systems

This book 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. "ERES (LPC1769)" describes techniques that may be applied to systems in a wide range of sectors, ranging from household goods to satellite and marine systems. The main case study (presented in an initial version in Chapter 3 and in a final version in Chapter 15) describes a controller for a domestic washing machine. The system is developed in compliance with IEC 60335 / IEC 60730. Throughout the book, the aim is to describe flexible system frameworks that can be adapted to meet the needs of a wide range of different embedded designs in various industry sectors.

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.