Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Modlisation de systmes ractifs par une approche graphique synchrone : SyncCharts
 

Summary: Modélisation de systèmes réactifs par une approche graphique
synchrone : SyncCharts
Charles André(1)
(1)
I3S, BP 121, 06903 Sophia Antipolis Cedex, andre@unice.fr
RÉSUMÉ. Les SyncCharts sont un modèle graphique qui s'appuie sur les concepts d'états et transitions et qui adopte
un point de vue synchrone. Les SyncCharts utilisent un nombre réduit de primitives graphiques. Cette apparente
simplicité peut cacher des comportements complexes qui combinent évolutions parallèles, préemptions et
réincarnations d'états. Cette présentation explique de telles réactions en termes de « microsteps ». La sémantique du
modèle est une sémantique constructive pleinement compatible avec celle du langage synchrone Estérel. Cette
sémantique est présentée de façon semi formelle comme le résultat de la coopération de « reactive cells » évoluant
concurremmen1
t.
MOTS-CLÉS : langages synchrones, sémantique constructive, systèmes réactifs.
1. Introduction
Les systèmes réactifs sont des systèmes à événements discrets. Leur comportement peut être représenté
par une séquence de réactions à des stimuli. Classiquement, les évolutions séquentielles sont décrites en
termes d'états et de transitions. Les modèles simples comme les machines séquentielles sont inadaptés
lorsqu'il s'agit de représenter des applications modernes. Ces applications sont généralement complexes et
conçues comme un ensemble de sous-systèmes communicants évoluant concurremment avec de nombreuses

  

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

 

Collections: Computer Technologies and Information Sciences