License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.11.117
URN: urn:nbn:de:0030-drops-44395
URL: http://drops.dagstuhl.de/opus/volltexte/2014/4439/
Go back to Dagstuhl Reports


Edwards, Stephen A. ; Girault, Alain ; Schneider, Klaus
Weitere Beteiligte (Hrsg. etc.): Stephen A. Edwards and Alain Girault and Klaus Schneider

Synchronous Programming (Dagstuhl Seminar 13471)

pdf-format:
dagrep_v003_i011_p117_s13471.pdf (0.8 MB)


Abstract

Synchronous programming languages are programming languages with an abstract (logical) notion of time: The execution of such programs is divided into discrete reaction steps, and in each of these reactions steps, the program reads new inputs and reacts by computing corresponding outputs of the considered reaction step. The programs are called synchronous because all outputs are computed together in zero time within a step and because parallel components synchronize their reaction steps by the semantics of the languages. For this reason, the synchronous composition is deterministic, which is a great advantage concerning predictability, verification of system design, and embedded code generation. Starting with the definition of the classic synchronous languages Esterel, Lustre and Signal in the late 1980's, the research during the past 20 years was very fruitful and lead to new languages, compilation techniques, software and hardware architectures, as well as extensions, transformations, and interfaces to other models of computations, in particular to asynchronous and hybrid systems. This report is a summary of the Dagstuhl Seminar 13471 "Synchronous Programming", which took place during November 18-22, 2013, and which was the 20th edition of the yearly workshop of the synchronous programming community. The report contains the abstracts of the presentations given during the seminar in addition to the documents provided by the participants on the web pages of the seminar.

BibTeX - Entry

@Article{edwards_et_al:DR:2014:4439,
  author =	{Stephen A. Edwards and Alain Girault and Klaus Schneider},
  title =	{{Synchronous Programming (Dagstuhl Seminar 13471)}},
  pages =	{117--143},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{11},
  editor =	{Stephen A. Edwards and Alain Girault and Klaus Schneider},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4439},
  URN =		{urn:nbn:de:0030-drops-44395},
  doi =		{10.4230/DagRep.3.11.117},
  annote =	{Keywords: Synchronous Languages, Hybrid Systems, Formal Verification, Models of Computation, WCET-Analysis, Embedded Systems}
}

Keywords: Synchronous Languages, Hybrid Systems, Formal Verification, Models of Computation, WCET-Analysis, Embedded Systems
Seminar: Dagstuhl Reports, Volume 3, Issue 11
Issue Date: 2014
Date of publication: 17.03.2014


DROPS-Home | Fulltext Search | Imprint Published by LZI