Programme of SLA++P at ETAPS 2008

(Model-driven High-level Programming of Embedded Systems)

Saturday, April 5, room: Room I.

09:00 - 10:30 SESSION 1

Introduction to SLA++P08
Eric Rutten (INRIA)
Looking at Simulink and Stateflow from a Language Perspective
Grégoire Hamon (The MathWorks)

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Modular Distribution and Application to Discrete Controller Synthesis
Gwenaël Delaval (IRISA)
Interactive Programming of Reactive Systems
Louis Mandel, Florence Plateau (LRI)

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

STARPro -- A new multithreaded direct execution platform for Esterel
Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha Roop, Zoran Salcic (U. Auckland)
An embedded shared memory programming model for reconfigurable multimedia accelerator
Samar Yazdani, Joel Cambonie, Bernard Pottier (ST Microelectronics & U. Bretagne Occidentale)
Generating Multi-Threaded code from Polychronous Specifications
Bijoy Jose (FERMAT), Hiren Patel (U. C. Berkeley), Sandeep Shukla (FERMAT), Jean-Pierre Talpin (IRISA)

16:00 - 16:30 Coffee

16:30 - 18:00 SESSION 4

Static Analysis of Simulink Programs
Alexandre Chapoutot (CEA LIST), Matthieu Martel (U. Perpignan)
Designing a Reactive Processor with Esterel v7 - A Case Study
Malte Tiedje, Claus Traulsen (U. Kiel)
An Extensible Software Synthesis Framework for Heterogeneous Actor Models
Man-Kit Leung, Edward A. Lee (U. C. Berkeley)
Understanding Endochrony with Partial Orders
Syed Suhaib (General Electric), Deepak A. Mathaikutty, Sandeep K. Shukla (FERMAT), Jean-Pierre Talpin (IRISA)
The Colour of the Truth in Step Responses
Joaquin Aguado (U. Bamberg)

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13