Introduction

This workshop is devoted to all aspects of synchronous programming: languages, compiling techniques, formal methods, programming environments, execution platforms, semantics issues, code generation. This traditional workshop has become the annual rendezvous hotpot of the synchronous community and a ’must’ event for anyone interested in keeping up with the latest developments, in front and behind the scenes, in academic and industrial synchronous research. The workshop is renowned for its informal and open character.

This year we have 3 invited speakers:
 Dr. Hugo Heusinger
EADS Deutschland GmbH. EF 2000 Flight Joint Team - OPEA6
 Prof. S. Ramesh
India Science Lab, GM R&D Centre Creator, International Tech Park, Bangalore
 Dr. Frédéric Boussinot
INRIA EMP-CMA/MIMOSA, Sophia Antipolis

Synchronous languages have been introduced in the 80s to program embedded systems. Such systems are characterized by their continuous reaction to their environment, at a speed determined by the latter. Synchronous languages have recently seen a tremendous interest from leading companies developing automatic control software for critical applications. For instance, Schneider Electric uses a Lustre-based tool, named Scade, to develop the control software for nuclear plants. Aerospatiale also uses this tool to develop the flight control of the new Airbus planes. Dassault Aviation uses Esterel Studio to program the flight control software of the Rafale fighter. Snecma uses Sildex, a Signal-based tool to develop airplane engines. ST Microelectronics, Texas nstrument, Motorola, Intel, are also interested in the Esterel technology for chip design. The key advantage pointed by these companies is that the synchronous approach has a rigorous mathematical semantics which allows the programmers to develop critical software faster and better.

Indeed, the semantics of the languages is used as a formal model upon which all the programming environments are defined. The compilation involves the construction of these formal models, and their analysis for static properties, their optimization, the synthesis of executable sequential implementations, the automated distribution of programs. It can also build a model of the dynamical behaviors, in the form of a transition system, upon which are based the analysis of dynamical properties, e.g., through model-checking based verification, or discrete controller synthesis. Hence, synchronous programming is at the cross-roads of many approaches in compilation, formal analysis and verification techniques, and software or hardware implementations generation. The approach is related to formal methods for reactive systems like Statecharts, StateFlow, UML StateCharts.

In summary, synchronous programming is an interesting approach for designing and programming automatic control software. Synchronous languages have a well-founded mathematical semantics that allow ideal temporal constructs as well as formal verification of the programs and automatic code generation. They are ideally suited to programming automatic control software because they are close to the classic specification formalisms used by control engineers, and also because they offer code generation tools that avoid the tedious and error-prone task of implementing the control algorithm after having specified it. These nice features have been confirmed by their recent successes in the automatic control industry.

The workshop topics cover, among others, the following issues:

• Synchronous and asynchronous models for time and concurrency,
• Safety-critical real-time systems,
• Synchronous languages and programming formalisms,
• Synchronous models for control theory,
• Compilation techniques and code synthesis for embedded systems,
• Formal specification and verification,
• Test and validation of programs,
• Simulation and execution Time Analysis for synchronous programs,
• Component-based development of embedded systems
• Time-triggered architectures,
• Discrete and hybrid systems,
• High-level hardware modeling and synthesis,
• Novel language paradigms blending synchrony with asynchrony and non-determinism, semantic abstraction and refinement,
• Design methodologies, visualisation of complex reactive systems,
• Case-studies, industrial and teaching experience reports,

The 14th International Open Workshop on Synchronous Programming will take place in Bamberg (Germany), from Monday November 26th to Friday November 30th.

Previous editions were held in:

• L’Alpe d’Huez (France, 2006)
• Qwara (Malta, 2005)
• Dagstuhl (Germany, 2004)
• Luminy (France, 2003)
• La Londe les Maures (France, 2002)
• Dagstuhl (Germany, 2001)
• Saint-Nazaire (France, 2000)
• Hyères (France, 1999)
• Gandia (Spain, 1998)
• Roscoff (France, 1997)
• Dagstuhl (Germany, 1996)
• Luminy (France, 1995)
• Dagstuhl (Germany, 1994)

The workshop is going to take place in the Dominikanerbau in Bamberg. Hotel accommodation has been prenoted very close to the workshop site in the historic center of the city.

Registration

Registration is now open.

• If you would like to register, please go here.
• If you have already registered and would like to change your registration or cancel, please go here.

Please register early as hotels tend to fill up very quickly for the XMas season starting end of November.
If you have any further questions or comments, please send an email to Michael Mendler.

Réalisation Axome - Création de sites Internet