Computing SyncCharts Reactions

Authors

Charles André

Abstract

SyncCharts are a state-based visual synchronous model. Though using a simple graphical syntax, SyncCharts may exhibit complex instantaneous behavior,
mixing concurrent evolutions, preemptions and state re-incarnations. This paper explains such reactions in terms of microsteps.
The underlying semantics is a constructive semantics,
fully compatible with the Esterel's semantics. The semantics is
presented in a semi-formal way, as resulting from the cooperation of
concurrent reactive cells.

Reference

@ARTICLE{sp:entcs04,
AUTHOR = "Charles Andr\'e",
TITLE = "Computing SyncCharts Reactions",
JOURNAL = "Electronic Notes in Theoretical Computer Science ",
YEAR = {2004},
VOLUME = {88},
MONTH = {October},
PAGES = {3-19},
NOTE = {http://www.sciencedirect.com; doi:10.1016/j.entcs.2003.05.007}
}

Paper

I3S RR-2003-09 is an internal research report with almost the same content as the paper. pdf, 581KB (15 pages)