line

A Process-Algebra-Like Framework for Modelling Hybrid Systems

Michael Baldamus
Karlsruhe

Abstract
Esterel is a process-algebra-like language for real-time systems. One of its main characteristics is the combination of perfect synchrony with powerful constructs for preemption, suspension and trap handling. It is desirable to make this kind of expressiveness available for the description of hybrid systems, that is, systems whose evolution is understood in terms of segment-wise continuous functions over the real time axis. Our approach consists of modifying Esterel concepts, most notably by replacing the discrete time frame by a continuously advancing one. We are then able to state a semantics made up of transitions with closed execution intervals of non-zero length. The Esterel notion of instant is rendered as an execution interval within this framework. Hybrid signals may change their value during such an instant, non-hybrid ones, that is, classical signals immediately settle to a specific state and keep it the whole time. Time consumption still has to be specified explicitly, namely in that instants reflect jumps among control flow locations defined by so-called pause statements; all other statements take no time in the sense that arbitrarily many of them may be sequentially executed regardless of the instant's duration. A transfer of perfect synchrony from the discrete to the continuous is in this way accomplished. After a brief introduction, the talk begins with foundations from (non-hybrid) Esterel. The new syntactic and semantic concepts of our hybrid Esterel derivative are then introduced. The rest of the talk is concerned with the pragmatics of using the language, structural operational semantics, bisimilarity and compositionality.

Joint work with Thomas Stauner (BMW Car IT, formerly Munich University of Technology)


ASTEC seminar
Monday, April 8, 2002

Place: Information technology, Uppsala University
Room: 1145
Time: 10.15-11.00 (+ discussions)

Room 1145 is in building 1, floor 1, room 45 (in the northern part of the building).

Help on how to find ASTEC Seminars.

There will be an extended period for discussions after the seminar.

Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 11.00.

Everyone is welcome !

line
Updated 26-Mar-2002 16:49 by Roland Grönroos
e-mail: info -at- astec.uu.se    Location: http://www.astec.uu.se/Seminars/02/0408.shtml