SLA++P is a workshop dedicated to synchronous languages and the model-driven high-level programming of reactive and embedded systems. Firmly grounded in clean mathematical semantics, synchronous languages are receiving increasing attention in industry ever since they emerged in the 80s. Lustre, Esterel, Signal are now widely and successfully used to program real-time and safety critical applications, from nuclear power plant management layer to Airbus air flight control systems. At the same time, model-based programming is making its way in other fields of software engineering, too, often involving cycle-based synchronous paradigms.
The purpose of the SLA++P workshop is to bring together researchers and practitioners who work in the field of languages and tools for the model-driven development of embedded applications both in hardware and software. The workshop is not limited to synchronous approaches but open to other engineering design approaches with strong semantical foundations providing a way to go from a high-level description to provable executable code.
09:00 - 10:30 SESSION 1 : INTRODUCTION AND INVITED TALK
- Introduction to SLA++P08
Eric Rutten (INRIA, team Pop Art)
- 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 (INRIA, team Vertecs)
- 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 Lab), Hiren Patel (UC Berkeley), Sandeep Shukla (FERMAT Lab), Jean-Pierre Talpin (INRIA, team Espresso)
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 (UC Berkeley)
- Understanding Endochrony with Partial Orders
— Syed Suhaib (General Electric), Deepak A. Mathaikutty, Sandeep K. Shukla (FERMAT Lab), Jean-Pierre Talpin (INRIA, team Espresso)
- The Colour of the Truth in Step Responses
— Joaquin Aguado (U. Bamberg)
Sponsors