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 AND INVITED TALK

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

PROGRAMMING LANGUAGES

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

EXECUTION PLATFORMS

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)

COMPILATION

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

WORK-IN-PROGRESS

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:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA