‘The Engineering of Reliable Embedded Systems’ by Michael J. Pont

eres_cover_219
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.

empty_space

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

Reading ‘ERES1’ will be of particular benefit to organisations that need to develop systems in compliance with international safety standards, such as IEC 61508, ISO 26262, DO-178C, IEC 62304, ISO 13849, IEC 60335 and IEC 60730, up to ‘SIL 2‘ level or equivalent.

‘ERES1’ also provides a good introduction to the techniques described in greater detail in ‘ERES2‘.

[This page was last updated: 2016-12-19] empty_space


empty_space

‘ERES2’

eres2_front_height_200px
This page discusses ‘ERES1’ (published in 2014).

ERES2‘ was published in November 2016.

Pont, M.J. (2016) “The Engineering of Reliable Embedded Systems: Developing software for ‘SIL 0’ to ‘SIL 3’ designs using Time-Triggered architectures” (Second Edition), SafeTTy Systems.
ISBN: 978-0-9930355-3-1.

  • Reading ‘ERES2’ will be of particular benefit to organisations that need to develop systems in compliance with international safety standards, such as IEC 61508, ISO 26262, DO-178C, IEC 62304, ISO 13849, IEC 60335 and IEC 60730, up to ‘SIL 3‘ level or equivalent.
  • The code examples in ‘ERES2’ target MCUs from STMicroelectronics (STM32F0, STM32F4), NXP / Freescale (LPC17xx), Infineon (XMC4000), and Texas Instruments (TMS570).
  • Both single-processor and multi-processor designs are considered in ‘ERES2’.

empty_space

empty_space

Further information about ‘ERES2’ is available here.

* Code examples in ‘ERES1’ target the NXP® LPC 1769 MCU only.

empty_space


empty_space

Download ‘ERES1’ and the related TTRDs

empty_space

Following publication of ‘ERES2‘, we have released a full PDF copy of ‘ERES1’.

You can download the complete book here (PDF file).

You can download the latest (and final) TTRDs here (zipped file).

Release of this book and related TTRDs is primarily intended to support requests from universities and colleges for access to this material. However, the book and code examples are freely available to anyone, subject to the restrictions listed on Page xxv in the book.

empty_space


empty_space

ReliabiliTTy® Technology Licences

rtl_logo5_257
The books in the “Engineering of Reliable Embedded Systems” (ERES) series and the related Time-Triggered Reference Designs (TTRDs) describe patented technology and are subject to copyright and other restrictions.

The public TTRDs downloaded from this WWW site and the designs and techniques documented in the ERES book series may be used without charge: [i] by universities and colleges in courses for which a degree up to and including “MSc” level (or equivalent) is awarded; [ii] for non-commercial projects carried out by individuals and hobbyists.

Use of the techniques and code examples described in the ERES books in any commercial project (including training courses) or in university research projects (including PhD-level programmes and equivalent) requires purchase of an appropriate ReliabiliTTy® Technology Licence.

empty_space