http://www.dagstuhl.de/01491

December 2 – 7 , 2001, Dagstuhl Seminar 01491

Synchronous Languages

Organizers

Gérard Berry (Esterel Technologies – Villeneuve, FR)
Willem-Paul de Roever (Universität Kiel, DE)
Nicolas Halbwachs (VERIMAG – Grenoble, FR)
Klaus Winkelmann (Infineon Technologies – München, DE)

For support, please contact

Dagstuhl Service Team

Documents

List of Participants
Dagstuhl-Seminar-Report 328

Synchronous languages provide a solution to the following problem:
"What is the highest level of specification possible for real-time embedded systems?"

Previous studies had demonstrated that, at such a high level, the notion of time should not be quantitative, e.g., no mention should be made that an action lasted 1.5 &mu sec. This is because real-time embedded systems are, in general, too complicated to also specify the time needed by their components; mentioning quantitative time would lead to loss of the overall picture.

Independently, 4 teams (3 French ones and 1 Israeli one) found solutions to this problem in 1980-1985, leading to the synchronous languages Lustre, Esterel, Signal, and the semi-synchronous visual language StateCharts, supported by the tool StateMate.

Their underlying design assumption is that internal (re)actions take no time to execute, in comparison with the external stimuli requesting them ("Berry's synchrony hypothesis"). Although this is in its pure form unimplementable, it may very well be the case that internal (re)actions always take less time to execute than passes between two successive external stimuli; this must be proved for each particular application.

Also, these languages execute concurrent actions synchronously in multi-steps, and have the possibility to test for the absence of an internal action. Simple as these design decisions may seem, they have led to languages with enough expressive power to specify the control of jet engines, nuclear reactors and on-board software. Also, due to their simplicity, their compilers could be proved correct. As a result, the compiled code only contains errors due to wrongly expressed specifications at the source level.

In case of embedded software for the line of aircraft produced by AIRBUS, and control software for nuclear power stations (produced by Schneider Inc.), the utilization of synchronous languages led to a decrease of more than 95 % of errors per 10.000 lines of code.

With their design criteria and implementation techniques now firmly grounded in theory, two main problems remain:

  1. How to combine asynchronous (re)actions with the synchronous approach into a unified framework? For, obviously, e.g., in software for airplanes, asynchronous delay is only natural.
  2. How can synchronous languages be adapted to the description of hardware, i.e., synchronous circuits. For, due to the fact that the amount of tested runs in modern VSLI chips approaches rapidly zero, when compared with their overall capabilities, new languages and tools, with much faster execution speeds, are needed to raise the possibility of testing Pentium-class VLSI chips to acceptable levels. As the use of Esterel as hardware-description language has demonstrated, it is feasable to do this using the synchronous-languages approach.

Apart from presenting results on these two main issues, the seminar focussed as third issue on visual methods for specifying synchronous languages, an approach pioneered by the StateMate system designed by David Harel, and now incorporated also in the two mainstream French visual specification tools, based on synchronous languages: Scade (combining Lustre with elements of State-Charts), and Esterel-Studio (based on a visual representation of Esterel, called Synch-Charts).

This series of seminars constitutes the only yearly meeting place for the researchers in this exciting field. The workshops on Synchronous Languages started in 1993 at Schloss Dagstuhl. Since then seven such workshops have been organized, in total: 2 in Germany, 1 in Spain, and 4 in France, with an attendance varying between 40 and 60 persons.

Dagstuhl Seminar Series

Book exhibition

Books from the participants of the current Seminar 

Book exhibition in the library, ground floor, during the seminar week.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

NSF young researcher support