Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils - CentraleSupélec Access content directly
Conference Papers Year : 2010

Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils

Abstract

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.
No file

Dates and versions

hal-00494563 , version 1 (23-06-2010)

Identifiers

  • HAL Id : hal-00494563 , version 1

Cite

Christian Fotsing, Annie Geniet, Guy Vidal-Naquet. Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils. 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement et Logiciels - AFADL 2010, Jun 2010, Poitiers-Futuroscope, France. pp.113-116. ⟨hal-00494563⟩
58 View
0 Download

Share

Gmail Facebook X LinkedIn More