Table of Contents

CONTENTS1 Introduction to real-time systems2 Reliability and fault tolerance3 Exceptions and exception handling4 Concurrent programming5 Shared variable-based synchronization and communication6 Message-based synchronization and communication7 Atomic actions, concurrent processes and reliability8 Resource control9 Real-time facilities10 Programming real-time abstractions11 Scheduling real-time systems12 Programming schedulable systems13 Tolerating timing faults14 Low-level programming15 Mine control case study16 ConclusionsReferencesIndex

About the Author

Alan Burns and Andy Wellings are both based in the Computer Science Department at the University of York, UK. Professor Burns holds a Personal Chair in Real-Time Systems. He has authored or co-authored over 400 papers/reports and fifteen books mostly in the Ada or real-time area. Andy Wellings is Professor of Real-Time Systems and is the author of over 300 papers/reports and five books, as well as being European Editor-in-Chief for the journal Software Practice and Experience.