Seminar Homepage : Druckversion


http://www.dagstuhl.de/01491

02. – 07. Dezember 2001, Dagstuhl Seminar 01491

Synchronous Languages

Organisatoren

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)


Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Teilnehmerliste
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



Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.


Seminar Homepage : Letzte Änderung 28.06.2017, 19:35 Uhr