Automated Software Engineering
2000
ASE2000 Invited Speaker
The Strength and Limits of Synchronous Programming
by Gerard Berry, CMA, Ecole des Mines de Paris
Synchronous programming has gained wide interest in academia and industry
as a robust and efficient way of programming critical reactive systems.
We explain which is the application domain and why the synchronous model
makes it possible to write programs that can be efficiently understood,
compiled, optimized, and verified. Implementation of synchronous languages
on circuits or single processors is well-mastered but imposes limits on
the nature of tractable applications. The designers of synchronous programming
languages now try to extend their scope by considering distributed implementations,
desynchronization, or multiclok systems. We discuss these new approaches
compared to more conventional asynchronous concurrent programming.
Slides
Maintained by Jerry Gannod (gannod@asu.edu)