Charles André
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 concurremment.
Présenté à l’École d’Été Temps Réel, 9-12 Septembre 2003, Toulouse (F)
@InProceedings{sp:etr03,
author = {C. Andr\'e},
title = {Modélisation de systèmes réactifs par une
approche synchrone: SyncCharts},
booktitle = {Ecole d'été {T}emps {R}éel},
sorte= "colin" ,
year = 2003,
address = {Toulouse (F)},
month = {Septembre},
publisher = {IRIT},
editor = {Z. Mammeri},
NOTE = {http://www.irit.fr/ETR2003},
}