Synchronous Languages, Applications, and Programming
Saturday April 13, 2002, Grenoble, France
An ETAPS'2002 Satellite Event
| Overview | Topics of interest | Important dates | Final Programme | Programme committee |
| Overview | Topics of interest | Important dates | Final Programme | Programme committee |
Synchronous languages have been introduced in the 80s to program reactive 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 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 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.
SLAP 2002 is the first workshop devoted entirely to synchronous languages, applications, and programming. It will take place in April 2002, in Grenoble (France), as a satellite event of ETAPS 2002. Its purpose is to bring together researchers and practitioners who work in the field of reactive systems. The workshop topics are covering all these issues: synchronous model of computation, synchronous languages and programming formalisms, compiling techniques, formal verification, test and validation of programs, case-studies...
Submission date: 21st November 2001 (over!)
Notification of acceptance: 14th January 2002
Final paper due: 15th February 2002
Workshop: 13th April 2002
Please send the electronic version of your manuscript by email to Alain Girault, either in postscript or in pdf. Try to use the LNCS format style and try to keep your manuscript below 15 pages.
The proceedings will be published electronically by Elsevier in the Electronic Notes in Theoretical Computer Science series, as volume 65.5.
The programme committee has accepted thirteen papers for publication out of sixteen submissions. Five have been accepted as long papers (40 minutes oral presentation), four as medium papers (30 minutes oral presentation), and four as short papers (20 minutes oral presentation). Here is the final programme that will take place on Saturday April 13, 2002.