 |
ECOLE SUPÉRIEURE D'ÉLECTRICITÉ Une grande école d'ingénieurs au cœur des sciences de l'information,de l'énergie et des systèmes |
 |
Conference papers
Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils
Résumé : Nous proposons une modélisation formelle des applications temps- réel (ATR) basée sur les réseaux de Petri (RdP), qui prend en compte de façon explicite les instructions conditionnelles (IC) et la sémantique des tests conditionnels (TC) contenus dans les tâches. Ce modèle, beaucoup plus réaliste, servira à la validation automatique des applications considérées.
https://hal-supelec.archives-ouvertes.fr/hal-00494563
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, June 23, 2010 - 3:31:44 PM
Last modification on : Thursday, March 29, 2018 - 11:06:05 AM
Contributor : Evelyne Faivre <>
Submitted on : Wednesday, June 23, 2010 - 3:31:44 PM
Last modification on : Thursday, March 29, 2018 - 11:06:05 AM