The Engineering of Reliable Embedded Systems - Developing software for "SIL O" to "SIL 3" design using Time-Triggered architectures (Relié)

The Second Edition of "The Engineering of Reliable Embedded Systems" (ERES2), 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. What distinguishes TT approaches is that it is possible to model the expected system behaviour precisely. This means that : [i] during the development process, it is possible to demonstrate that all of the requirements have been met ; and [ii] at run time, problems can be detected very quickly.
The end result is that we can have a high level of confidence that a TT system will either : [i] operate precisely as required ; or [ii] react appropriately if a problem occurs. The above characteristics mean that appropriately-implemented TT systems provide a particularly effective means of meeting the requirements of various international safety standards, such as IEC 61508 and ISO 26262. Case studies In order to illustrate how the TT techniques presented in this book can be employed in practical designs, five case studies are included.
These studies explore the development of the following devices : an industrial monitoring system (IEC 61508, SIL 2) ; a domestic washing machine (IEC 60730, Class B) ; a hospital radiotherapy machine (IEC 60601-2-1 ; IEC 62304, Class C) ; a steering-column lock for a passenger car (ISO 26262, ASIL D) ; an aircraft jet engine (DO-178C, Level A).