[Synchron 2007]     [Organization]    [Programme


Welcome to Synchron 2007 

International Open Workshop on Synchronous Programming

One-Week Workshop
26th to 30th November 2007
Otto-Friedrich-Universität Bamberg
Bamberg (UNESCO World Heritage), Germany

 

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 Instrument, 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:

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.