‘Foundations of Reliable Embedded Systems’ by Michael J. Pont
‘Foundation of Reliable Embedded Systems’ (FRES1) is a new introductory book.
Due for publication in 2020.
[This page was last updated: 2019-04-12]
From the Preface
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.
Table of Contents (DRAFT)
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.
Further information will be available in Q4 2019.