Books

If you want to learn more about time-triggered technology, two popular textbooks are available (in both English and Chinese editions).

Embedded C” provides a gentle introduction to the programming of embedded systems using time-triggered software architectures. Embedded C targets 8051 microcontrollers.

Patterns for Time-Triggered Embedded Systems” (which also targets 8051 microcontrollers) provides more detailed coverage of the use of time-triggered techniques in reliable embedded systems. Please note that “PTTES” can now be downloaded without charge from this website.

Cover of Embedded C

  • Pont, M.J. (2002) “Embedded C”, Addison-Wesley. ISBN: 0-201-79523-X.
  • Pont, M.J. (2003) “Embedded C”, Chinese Electric Power Press. ISBN: 7-5083-1814-5.
  • Pont, M.J. (2004) “Embedded C”, Pearson Education Taiwan. ISBN: 986-7491-52-1.

Cover of Pattern for Time-Triggered Embedded Systems

  • Pont, M.J. (2001) “Patterns for Time-Triggered Embedded Systems”, Addison-Wesley / ACM Press. ISBN: 0-201-331381.
  • Pont, M.J. (2004) “Patterns for time-triggered embedded systems”, Chinese Electric Power Press ISBN: 7-5083-2206-1.

A third textbook — “Rapid Develop of Reliable Embedded Systems”, which targets various ARM processors as well as FPGA-based systems, is currently in progress. Draft chapters are available to download from this website.