Analysable Real-Time Systems: Programmed in Ada

How do real-time systems differ from normal information processing systems?

How can real-time systems be analysed to ensure they satisfy their temporal constraints?

Which features are needed in programming languages to implement real-time systems?

This latest book from Burns and Wellings answers these and other key questions about real-time systems. It provides an in-depth analysis of the requirements for designing and implementing real-time, embedded, cyber-physical systems, and discusses how these requirements are supported by the Ada programming language. No other book on real-time (or concurrent) programming covers the same breadth of material.

Topics covered in this book include:

• The definition of real-time, its necessary characteristics and desirable properties.
• Scheduling schemes, including fixed priority scheduling, Earliest Deadline First and Value-based scheduling.
• Analysis methods, including response-time analysis and processor demand analysis.
• Introduction to the Ada programming language.
• Programming adaptive and predictable real-time systems in Ada.
• Programming reliable and fault-tolerant systems in Ada.
• Analysing and programming for multiprocessor and multicore platforms.
• Mixed-criticality systems

The book is aimed at Final Year and Masters students in Computer Science and related disciplines. It has also been written with the professional software engineer, and real-time systems engineer, in mind. The material presented reflects the content of courses developed over a number of years by the authors at the University of York.

Alan Burns and Andy Wellings are both based in the Department of Computer Science at the University of York in the UK. Professor Alan Burns holds a Personal Chair in Real-Time Systems. He is a fellow of the Royal Academy of Engineering and the IEEE. Professor Andy Wellings is Professor of Real-Time Systems. Together they have published over 700 papers on topics related to Real-Time Systems.