Concurrent and Real-Time Programming in Ada

Alan Burns is a Professor in Computer Science and the Head of the Computer Science Department at the University of York. His research activities have covered a number of aspects of real-time and safety critical systems including the assessment of languages for use in the real-time safety critical domain, distributed operating systems, the formal specification of scheduling algorithms and implementation strategies, and the design of dependable user interfaces to safety critical applications. His teaching activities include courses in Operating Systems, Scheduling and Real-time Systems. He has authored over 350 papers and reports and 8 books, including Real-time Systems and Programming Languages, 3rd edition and Concurrency in Ada, 2nd edition. Andy Wellings is a Professor of Real-Time Systems in the Computer Science Department at University of York. He is interested in most aspects of the design and implementation of real-time dependable computer systems and, in particular, real-time programming languages and operating systems. He is European Editor-in-Chief for the Computer Science journal Software-Practice and Experience and a member of the International Expert Groups currently developing extensions to the Java platform for real-time, safety critical and distributed programming. He has authored over 200 papers and several books, including Real-time Systems and Programming Languages, 3rd edition and Concurrency in Ada, 2nd edition.