Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Computing SyncCharts Reactions Charles ANDR E

Summary: Computing SyncCharts Reactions
Charles ANDR ´E
I3S Laboratory (UMR 6070)
University of Nice Sophia Antipolis / CNRS
BP 121, Sophia Antipolis cedex, 06903, FRANCE
ISRN I3S/RR-2003-09-FR
Abstract. SYNCCHARTS are a state-based visual synchronous model. Though using a simple graphical syn-
tax, 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 seman-
tics 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.
1 Introduction
The reactive systems are discrete-event systems. They are mostly event-driven, which means that they perform
little processing on their own and that their behavior can be represented as a sequence of reactions to stimuli.
A classical way of representing sequential evolutions is to resort to state-transition models. However the
simplest forms of automata are not convenient to cope with the complexity of modern applications. Represent-
ing the behavior of such systems implies hierarchical description, support of concurrency and synchronization,
and communication between the different parts of the system. Synchronous languages have been introduced to
address the issues of reactive system programming. In the imperative synchronous language ESTEREL[1], com-


Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis


Collections: Computer Technologies and Information Sciences