Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Programmation synchrone : Proprits dans une raction
 

Summary: Programmation synchrone : Propriétés dans
une réaction
Charles André* -- Robert de Simone**
* Laboratoire I3S, UMR 6070, Université de Nice/CNRS
BP121 ­ 06903, Sophia Antipolis cédex, France
{andre@unice.fr}
** INRIA Sophia Antipolis
BP 93 ­ 06902 Sophia Antipolis cédex, France
{rs@sophia.inria.fr}
RÉSUMÉ. Les formalismes impératifs synchrones (Esterel et SyncCharts) permettent d'expri-
mer des comportements réactifs complexes. La connaissance de la sémantique de ces modèles
est indispensable si on veut exploiter pleinement leur richesse expressive et éviter les "cycles
de causalité". La première partie de ce papier rappelle les grandes lignes de la sémantique
constructive. Cette sémantique est utilisée dans la seconde partie pour analyser des propriétés
dans l'instant portant sur les ordres partiels d'exécutions d'actions simultanées. Il est montré
comment les fonctionnalités du compilateur, issues de la sémantique constructive, permettent
une telle analyse. La technique est illustrée par un exemple de zFIFO (0 fall-through time FIFO
queue) un système qui présente de nombreuses actions simultanées dont l'ordonnancement est
critique.
ABSTRACT. Complex reactive behaviors can be expressed by synchronous imperative formalisms

  

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

 

Collections: Computer Technologies and Information Sciences