• Title The Engineering of Reliable Embedded Systems
• Author(s) Michael J. Pont
• Publisher: SafeTTy Systems Ltd (March 30, 2015)
• Hardcover 398 pages
• eBook PDF
• Language: English
• ISBN-10: 0993035507
• ISBN-13: 978-0993035500
• Share This:  

Book Description

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.

• Dr. Michael J. Pont is Founder and CEO of UK-based SafeTTy Systems Ltd, a company which provides support for organisations that need to create real-time embedded systems. Previously, he was Professor of Embedded Systems Engineering at the University of Leicester (UK), where he established the Embedded Systems Laboratory, invented the PTTES "pattern language", and led teams that developed the "NISA" safety agent, and the first single- & multi-core processors that were designed specifically to run TT software.

• Amazon

• Embedded Systems and Its Programming
• Microcontrollers Programming
• Software Design Patterns
• Electronic and Computer Engineering

• The Engineering of Reliable Embedded Systems (Michael J. Pont)
• The Mirror Site (1) - PDF

• Dependable Embedded Systems (Jörg Henkel, et al.)

  Provides readers with latest insights into novel, cross-layer methods and models with respect to dependability of embedded systems. Describes cross-layer approaches. Explains run-time adaptation and concepts/means of self-organization.

• Programming Embedded Systems using C (Mikael J. Pont)

  This is a book designed for programmers with desktop experience in C. It covers key techniques required in all embedded systems are covered in detail, including the control of port pins and the reading of switches.

• Patterns for Time-Triggered Embedded Systems (Michael J. Pont)

  Focus on reliability, it discusses techniques for the design and implementation of software for embedded applications based on the popular 8051 microcontroller family, with 70 powerful, proven design patterns for enhancing rapid development and reliability.

• Embedded System Design (Peter Marwedel)

  This book provides a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things (IoT), also a brief overview of hardware devices and the essentials of system software.

• Digital System Design - Use of Microcontroller

  This book concentrates on the use of a microcontroller as the Embedded System's processor and how to use it in many embedded system applications. It covers both the hardware and software aspects needed to design using microcontrollers.

• High Performance Embedded Computing (Luis M. Pinho, et al.)

  This book presents recent advances in software architecture and tools to support such complex systems, enabling the design of embedded computing devices which are able to deliver high-performance whilst guaranteeing the application required timing bounds.

• Embedded Controllers Using C and Arduino (James Fiore)

  This text is designed to introduce and expand upon material related to the C programming language and embedded controllers, and specifically, the Arduino development system and associated Atmel ATmega microcontrollers.

• Programming Embedded Systems in C and C++ (Michael Barr)

  The techniques and code examples presented here are directly applicable to real-world embedded software projects of all sorts. Even if you've done some embedded programming before, you'll still benefit from this book.

• Introduction to Embedded Systems - A Cyber-Physical Systems

  This book strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. It emphasizes on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, etc.

• First Steps with Embedded Systems (Byte Craft Limited)

  This book is intended to fill the need for an intermediate level overview of programming microcontrollers using the C programming language, as an introduction to microcontroller programming for intermediate level post-secondary programs.

• Embedded System Design: A Unified Hardware/Software Approach

  This book introduces a modern approach to embedded system design, presenting software design and hardware design in a unified manner. It presents the traditionally distinct fields of software and hardware design in a new unified approach.

• Embedded Software Development with eCos (Anthony J. Massa)

  In this start-to-finish guide to eCos solution building, the author covers eCos architecture, installation, configuration, coding, deployment, and the entire eCos open source development system.