Research Seminar - March 19, 2004

A Probabilistic Framework for Schedulability Analysis of Real-Time Systems

Friday 19th March 11am

Computer Science & Software Engineering

Seminar Room 1.24

Speaker:
Professor Alan Burns
University of York

Abstract:

The limitations of the deterministic formulation of scheduling are discussed and a probabilistic approach is motivated. A number of models are reviewed with one being chosen as a basic framework. Response-time analysis is extended to incorporate a probabilistic characterisation of task arrivals and execution times. Copulas are
used to represent dependencies.

About the Speaker:

Professor Alan Burns has worked for a many years on a number of different aspects of real-time systems engineering. He joined the University of York in January 1990 and was subsequently promoted to a Personal Chair in 1994. From 1st July 1999 he has been Head of the Computer Science Department at York.

His research activities have covered a number of aspects of real-time and safety critical
systems including: requirements for such systems, the specification of safety and timings needs, systems architectures appropriate for the design process, 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.