Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Representation and Analysis of Reactive Behaviors: A Synchronous Approach

Summary: Representation and Analysis of Reactive Behaviors:
A Synchronous Approach
Charles ANDRE
Laboratoire Informatique, Signaux, Systemes (I3S)
Universite de Nice-Sophia Antipolis / CNRS
41, bd Napoleon III | F { 06041 Nice Cedex
e-mail: andre@unice.fr
Reactive systems involve communication, concur-
rency and preemption. Few models support these
three concepts, even less can correctly deal with their
coexistence. The synchronous paradigm allows a
rigourous approach to this problem, crucial to reac-
tive systems.
This paper analyzes the underlying hypotheses of
the synchronous approach. Reactive behaviors are
characterized. A new visual model (SyncCharts)
is then proposed. This graphical model is fully com-
patible with the imperative synchronous language Es-
terel and is specially convenient to express complex


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


Collections: Computer Technologies and Information Sciences