*banner
 

SYNCHRON 2009
Albert 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

Citation formats  
  • 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.

©2002-2018 Chess