Software Implementation of Synchronous Programs

Authors:
Charles Andre;Frederic Boulanger;Alain Girault
Affiliations:
-;-;-
Venue:
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Year:
2001

Citing 0
Cited 3

Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems

UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Distributing synchronous programs using bounded queues

Proceedings of the 5th ACM international conference on Embedded software
Symbolic model checking of UML activity diagrams

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Synchronous languages allow a high level, concurrent, and deterministic description of the behavior of reactive systems. Thus, they can be used advantageously for the programming of embedded control systems. The runtime requirements of synchronous code are light, but several critical properties must be fulfilled. In this paper, we address the problem of the software implementation of synchronous programs. After a brief introduction to reactive systems, this paper formalizes the notion of "execution machine" or synchronous code. Then, a generic architecture for centralized execution machines is introduced. Finally, several effective implementations are presented.