Abstract
We present a new way of generating control programs, for embedded applications, with guaranteed timing behavior. We propose to use timed automata extended with tasks to specify and verify concurrent behaviors, synchronization and resource requirements (schedulability) prior to implementation. A task is an executable program, provided by the programmer or found in a library of tasks, that is associated with a control location of the automaton.

We give a semantic framework for the execution of such models and show a prototype tool for generating code whose executions guarantee constraints specified and verified in the models.

ASTEC seminar
October 30, 2001

Place: Information technology, Uppsala University
Room: 1113
Time: about 14-15 This seminar will follow the seminar by Wang Yi with start at 13.15

Room 1113 is in building 1, floor 1, room 13 (in the southern part of the building).

Help on how to find ASTEC Seminars.