|
|
SYNCHRON 2009Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden
Citation
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus Schneider, Reinhard von Hanxleden. "SYNCHRON 2009". Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider and Reinhard von Hanxleden (eds.), Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 1, 2010, 978-3-642-16276-3.
Abstract
Executive Summary on Dagstuhl Seminar 09481
about Synchronous Languages
A. Benveniste, S.A. Edwards, E. Lee, K. Schneider, and R. von Hanxleden
Synchronous languages have been designed to allow the unambiguous description of reactive, embedded real-time systems. The common foundation for these languages is the synchrony hypothesis, which treats computations as being logically
instantaneous. This abstraction enables functionality and real-time characteristics
to be treated separately, facilitating the design of complex embedded systems. Digital hardware has long been designed using the synchronous paradigm;
our synchronous languages were devised largely independently and have placed the technique on a much firmer mathematical foundation.
Feedback from the user base and the continuously growing complexity of applications still pose new challenges, such as the sound integration of synchronous and asynchronous, event- and time-triggered, or discrete and continuous systems.
This seminar aims to address these challenges, building on a strong and active community and expanding its scope into relevant related fields. This year’s workshop includes researchers in model-based design, embedded real-time systems,
mixed system modeling, models of computation, and distributed systems.
The seminar was successful in bringing together researchers and practitioners of synchronous programming, and furthermore in reaching out to relevant related areas. With a record participation in this year’s SYNCHRON workshop
of more than 50 participants and a broad range of topics discussed, the aims seem to have been well-met. The program of the seminar was composed of around 36 presentations, all of which included extensive technical discussions.
The fields covered included synchronous semantics, modeling languages, verification,
heterogeneous and distributed systems, hardware/software integration, reactive processing, timing analyses, application experience reports, and industrial requirements. The discussion identified and collected specific needs for future topics, in particular the integration of different models of computation.
The SYNCHRON workshop 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, the workshop has evolved significantly
in its sixteen years of existence. One obvious change is the citizenship of its attendees, which has shifted from being largely French to being truly world-wide. But the biggest change is in its scope, which has grown to expand many languages and techniques that are not classically synchronous but have been substantially influenced by the synchronous languages’ attention to timing, mathematical rigor, and parallelism. Also, while many of the most senior
synchronous language researchers are still active, many younger researchers have also entered the fray and taken the field in new directions. We look forward to seeing where they take us next.
Electronic downloads
- HTML
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus
Schneider, Reinhard von Hanxleden. <a
href="http://chess.eecs.berkeley.edu/pubs/661.html"
><i>SYNCHRON 2009</i></a>, Albert
Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider
and Reinhard von Hanxleden (eds.), Dagstuhl Seminar
Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer
Informatik, Germany, 1, 2010, 978-3-642-16276-3.
- Plain text
Albert Benveniste, Stephen A. Edwards, Edward A. Lee, Klaus
Schneider, Reinhard von Hanxleden. "SYNCHRON
2009". Albert Benveniste, Stephen A. Edwards, Edward
Lee, Klaus Schneider and Reinhard von Hanxleden (eds.),
Dagstuhl Seminar Proceedings, Schloss Dagstuhl -
Leibniz-Zentrum fuer Informatik, Germany, 1, 2010,
978-3-642-16276-3.
- BibTeX
@book{BenvenisteEdwardsLeeSchneidervonHanxleden10_SYNCHRON2009,
author = {Albert Benveniste and Stephen A. Edwards and
Edward A. Lee and Klaus Schneider and Reinhard von
Hanxleden},
editor = {Albert Benveniste, Stephen A. Edwards, Edward Lee,
Klaus Schneider and Reinhard von Hanxleden},
title = {SYNCHRON 2009},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer
Informatik, Germany},
edition = {1},
year = {2010},
isbn = {978-3-642-16276-3},
abstract = {<h2>Executive Summary on Dagstuhl Seminar 09481
about Synchronous Languages</h2> A. Benveniste,
S.A. Edwards, E. Lee, K. Schneider, and R. von
Hanxleden <p> Synchronous languages have been
designed to allow the unambiguous description of
reactive, embedded real-time systems. The common
foundation for these languages is the synchrony
hypothesis, which treats computations as being
logically instantaneous. This abstraction enables
functionality and real-time characteristics to be
treated separately, facilitating the design of
complex embedded systems. Digital hardware has
long been designed using the synchronous paradigm;
our synchronous languages were devised largely
independently and have placed the technique on a
much firmer mathematical foundation. <p> Feedback
from the user base and the continuously growing
complexity of applications still pose new
challenges, such as the sound integration of
synchronous and asynchronous, event- and
time-triggered, or discrete and continuous
systems. <p> This seminar aims to address these
challenges, building on a strong and active
community and expanding its scope into relevant
related fields. This year’s workshop includes
researchers in model-based design, embedded
real-time systems, mixed system modeling, models
of computation, and distributed systems. <p> The
seminar was successful in bringing together
researchers and practitioners of synchronous
programming, and furthermore in reaching out to
relevant related areas. With a record
participation in this year’s SYNCHRON workshop
of more than 50 participants and a broad range of
topics discussed, the aims seem to have been
well-met. The program of the seminar was composed
of around 36 presentations, all of which included
extensive technical discussions. The fields
covered included synchronous semantics, modeling
languages, verification, heterogeneous and
distributed systems, hardware/software
integration, reactive processing, timing analyses,
application experience reports, and industrial
requirements. The discussion identified and
collected specific needs for future topics, in
particular the integration of different models of
computation. <p> The SYNCHRON workshop 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, the workshop has evolved
significantly in its sixteen years of existence.
One obvious change is the citizenship of its
attendees, which has shifted from being largely
French to being truly world-wide. But the biggest
change is in its scope, which has grown to expand
many languages and techniques that are not
classically synchronous but have been
substantially influenced by the synchronous
languages’ attention to timing, mathematical
rigor, and parallelism. Also, while many of the
most senior synchronous language researchers are
still active, many younger researchers have also
entered the fray and taken the field in new
directions. We look forward to seeing where they
take us next. },
URL = {http://chess.eecs.berkeley.edu/pubs/661.html}
}
Posted by Mary Stewart on 18 Feb 2010.
For additional information, see the
Publications FAQ or
contact webmaster at chess eecs berkeley edu.
Notice:
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints
invoked by each author's copyright.
|
