Mikro-symposium with ASTEC scientific evaluators

Using Interactive Compilation to Improve the Development of Embedded Systems Applications

David Whalley
Florida State University, USA

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 transformations.

A methodology for the construction of scheduled systems

Joseph Sifakis

We study a methodology for constructing scheduled systems by successive restriction of the behavior of the processes to be scheduled. Restriction 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 results deal with the specification of scheduling policies as safety constraints and the simplification of the synthesis process by application of a composability principle.

ASTEC seminar
September 26, 2000

Place: Information technology, Uppsala University
Room: 1510 Please, note room change!
Time: 14.00 - 16

Room 1510 is in Building 1, Floor 5, room 10
(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-    Location: