‘Foundations of Reliable Embedded Systems’ by Michael J. Pont


‘Foundation of Reliable Embedded Systems’ (FRES1) is a new introductory book.

ISBN: 978-0-9930355-6-2

Due for publication in June 2019.

Further information will be available shortly.

[This page was last updated: 2018-11-12]
empty_space


empty_space

From the Preface

empty_space

To be reliable, a real-time embedded system must do what it is expected to do, when it is expected to do it. In other words, it must meet both its functional and temporal requirements.

We can only be sure that the system will be reliable if:

  • the requirements (functional, temporal) are recorded;
  • if we can provide evidence – through use of appropriate test and verification activities – that we have met these requirements when the system is ‘signed off’ at the end of the development process;
  • if we incorporate appropriate run-time monitoring capabilities, in order to detect changes ‘in the field’ that could mean that the system no longer meets its requirements.

In my view, these three points – documented requirements; test and verification activities; run-time monitoring – represent the foundations of reliable embedded systems.

Michael J. Pont, November 2018.

empty_space


empty_space

Table of Contents (DRAFT)

empty_space

PART A: FOUNDATIONS
CHAPTER 1: Identifying and recording your software requirements
CHAPTER 2: Hello Reliable Embedded World
CHAPTER 3: Adding structure to your code
CHAPTER 4: Meeting real-time constraints

PART B: OBTAINING DETERMINISTIC (AND FLEXIBLE) BEHAVIOUR
CHAPTER 5: What happens when your processor starts up?
CHAPTER 6: Creating a scheduler
CHAPTER 7: Creating effective tasks
CHAPTER 8: Changing modes

PART C: DOES YOUR SYSTEM MEET ITS REQUIREMENTS?
CHAPTER 9: Designing and modelling your system
CHAPTER 10: Validation, verification and testing
CHAPTER 11: Monitoring your system at run time
CHAPTER 12: Where do we go from here?

Contents may change as the book is completed and reviewed.

empty_space


empty_space

Further information

empty_space
Further information will be available shortly.

empty_space


empty_space