28, Oct, 2009
ISEP-IPP, Porto, Portugal

Talk Abstract:
Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required for specifying, designing and implementing these systems. One key challenge is to cope with the wide range of time scales and dynamics inherent in such systems. To exploit the unique properties of time, with the aim of producing more dependable computer-based systems it is desirable to explicitly identify distinct time bands in which the system is situated. Such a framework enables the temporal properties and associated dynamic behaviour of existing systems to be described and the requirements for new or modified systems to be specified. A system model based on a finite set of distinct time bands is motivated and described in this talk

Speaker Bio.:
Professor Alan Burns is a member of the Department of Computer Science, University of York, U.K. His research interests cover a number of aspects of real-time systems including the assessment of languages for use in the real-time domain, distributed operating systems, the formal specification of scheduling algorithms and implementation strategies, and the design of dependable user interfaces to real-time applications. Professor Burns has authored/co-authored 450 papers/reports and 15 books. Many of these are in the real-time area. His teaching activities include courses in Operating Systems and Real-time Systems. He is a member of ARTIST - the EU Centre of Excellence in Real-Time and Embedded Systems. He is editor of a recent review of real-time programming languages. In 2009 Professor Burns was elected a Fellow of the Royal Academy of Engineering.

When: 10:00, October 28, 2009 Where: Meeting Room at 1st floor, Building E ("Sala de Reuniões")
Speaker's homepage: http://www-users.cs.york.ac.uk/~burns/