[Acpc-l] 11.12.00: Informatikkolloquium

[Katrin Seyr]

Die Technische Universität Wien und die Österreichische
Computergesellschaft laden gemeinsam zu folgendem Vortrag im Rahmen des
Kolloquiums des Fachbereiches Informatik ein und bitten um Weiterleitung
an Interessierte:

**********************************************************************
                  Probabilistic Scheduling Guarantees

                        Prof.Dr. A. Burns
                 Department of Computer Science
                     University of York, UK
                    alan.burns@cs.york.ac.uk
                http://www.cs.york.ac.uk/~burns/

==============================================================
Zeit: 11.Dezember 2000, 16:30 pünktlich
Ort: Zemanek Hoersaal, Favoritenstraße 11/Erdgeschoss
==============================================================

ABSTRACT
Hard real-time systems are usually required to provide an absolute
guarantee that all tasks will always complete by their deadlines. In this
talk we introduce the notion of a probabilistic guarantee. Two aspects are
investigated: imprecise knowledge of Computation Times and Fault
Tolerance. The techniques of extreme value estimation is explained for
predicting the execution times of tasks on modern processors. For fault
tolerance, schedulability analysis is used together with sensitivity
analysis to establish the maximum fault frequency that a system can
tolerate. The fault model is then used to derive a probability
(likelihood) that, during the lifetime of the system, faults will not
arrive faster than this maximum rate. The framework presented is a general
one that can accommodate transient `software' faults, tolerated by
recovery blocks or exception handling; or transient `hardware' faults
dealt with by state restoration and re-execution.

BIOGRAPHY:
Alan Burns is a Head of Department and Professor of Real-Time Systems in
the Department of Computer Science, University of York, U.K. He graduated
in Mathematics from the University of Sheffield in 1974, undertook his PhD
at the University of York before taking up a tenured post at the
University of Bradford. He joined the University of York again in 1990 and
was promoted to a personal chair in 1994. Together with Professor Andy
Wellings he heads the Real-Time Systems Research Group at the university;
a group that has currently 4 faculty members, 9 Postdoc researchers and 7
PhD students. He has served on many Programme Committees and has been PC
chair and General Chair for RTSS. He is currently the Chair of the IEEE
Technical Committee on Real-Time Computing. He has published widely (over
250 papers and articles, and 10 books) and works on a number of research
areas within the real-time field.

===========================================================================