Overview
Synchronous languages form a distinctive branch of Concurrency Theory. They are based on simple ideas of discrete logical time, explicit parallelism/concurrency and joint discrete reactions as operational behaviours. Their striking features is that such notions are provided to the plain designer him/herself, so that precise timing and time handling is seen as an integral part of functional design, not an extra-functional analysis and simulation afterthought addendum.
Sophisticated environments have been built around synchronous formalisms, both in academic and industrial settings. Their relevance to central concerns in embedded system design has amply been recognized in the past, including avionics, rail, factory automation, automotive, and of course digital circuits and on-chip system design.
Synchronous formalisms naturally enjoy both program and model quality, so that they can be both formally analysed and efficient executed without the discrepancy of awkward simulation schemes. Logical time can represent phenomena at very different level of abstractions altogether, in a unified way. The issues of component-based design, reuse and contracts find easy and natural formulations. They also find powerful and complexly crafted algorithmic solutions.
With the advent of multicore parallel programming models, on-chip networks, 3D digital circuits, sensor networks, low-power constraints and other such niceties, synchronous modelling and programming is faced with new challenges. Advancing the theory together with its connections to other neighbouring domains is a goal of the Synchron seminar Workshop, and the 17th edition is intending to advance this just like previous editions have.
Scientific organizers
- Robert de SIMONE
Research Director
INRIA Sophia Antipolis Méditerranée - Charles ANDRE
Professor
University of Nice - Sophia Antipolis
Local Organization
- Patricia LACHAUME
Assistant
INRIA Sophia Antipolis Méditerranée - Marie-Agnès PERALDI-FRATI
Associate Professor
University of Nice - Sophia Antipolis
Past Editions
- Programs of the past editions are here.