The Engineering of Reliable Embedded Systems

Overview & Synopsis

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.