Automatic Code Generation for Timed Automata
(Joint work with Elena Fersman, Paul Pettersson, Wang Yi)
ASTEC , Uppsala University
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.
Place: Information technology, Uppsala University
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.
Everyone is welcome !
Updated 23-Oct-2001 11:22 by Roland Grönroos
e-mail: info -at- astec.uu.se