Mikro-symposium with ASTEC scientific evaluators
Using Interactive Compilation to Improve the Development of Embedded Systems Applications
This work is currently in progress. I talk about how a compiler can
be modified to interact with a user. Features of the interactive
compilation system include viewing the low-level representation of a
function, interactively specifying the order of code-improving
transformations, allowing previously specified transformations to be
undone, providing the ability to specify code-improving
transformations by hand, and validating code-improving
A methodology for the construction of scheduled systems
We study a methodology for constructing scheduled systems by successive
restriction of the behavior of the processes to be scheduled.
is used to guarantee satisfaction of two kinds of constraints:
schedulability constraints characterizing timing properties of the
processes, and constraints
characterizing particular scheduling policies including process
priorities, non idling and preemption.
The methodology is based on the controller synthesis paradigm. The main
deal with the specification of scheduling policies as safety constraints
and the simplification of the synthesis process by application of a
September 26, 2000
Place: Information technology, Uppsala University
Room 1510 is in Building 1, Floor 5, room 10
Room: 1510 Please, note room change!
Time: 14.00 - 16
(in the southern part of the building).
Help on how get here and
MIC campus drawing.
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 1 hour.
Updated 25-Sep-2000 13:19 by Roland Grönroos
e-mail: info -at- astec.uu.se