SYNCHRON 2009

Motivation

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 considers computations to not take any time. This abstraction allows to separate the concerns functionality and real-time characteristics, and thus facilitates the design of complex embedded systems.

Feedback from the user base and the continuously growing complexity of applications still poses new challenges, such as the sound integration of synchronous and asynchronous, discrete and continuous, or event- and time-triggered systems. The seminar proposed here aims to address these challenges, building on a strong and active community and expanding its scope into relevant related fields, by inviting researchers prominent in model-based design, embedded real-time systems, mixed system modeling, models of computation, and distributed systems.