Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
Une définition des systèmes temps réel est que leur correction dépend de la correction fonctionnelle mais aussi du temps d'exécution des différentes opérations. Les propriétés temps réels sont alors exprimées comme des contraintes temporelles sur les opérations du système. Nous proposons dans c...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2010
|
| Online Access: | http://oatao.univ-toulouse.fr/7193/1/le_berre.pdf |