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

Christian Fotsing 1 Annie Geniet 1 Guy Vidal-Naquet 2
1 LISI / ENSMA - Laboratoire d'Informatique Scientifique et Industrielle
2 E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
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.
Document type :
Conference papers
Complete list of metadatas
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

Identifiers

  • HAL Id : hal-00494563, version 1

Collections

SUPELEC

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

151

Contact

CCSD