Validation d'Applications Temps Réel distribuées autour du Réseau CAN - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Validation d'Applications Temps Réel distribuées autour du Réseau CAN

Nicolas Navet
  • Fonction : Auteur
  • PersonId : 830599

Résumé

Ce papier se propose de donner une synthèse des techniques de validation d'applications temps réel distribuées autour d'un réseau CAN, la validation étant la vérification du bon respect des contraintes de l'application qui seront pour nous essentiellement des contraintes de temps et de sûreté de fonctionnement. Il existe deux grandes techniques de validation, l'exécution de modèles, qu'ils s'agissent de modèles analytiques ou de modèles de simulation, et l'observation sur prototypes ou maquettes. Après avoir discuté des avantages et inconvénients de chacun, nous verrons concrètement quels résultats en attendre dans le cadre de CAN.
Fichier principal
Vignette du fichier
A01-R-214.pdf (229.78 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00107520 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107520 , version 1

Citer

Nicolas Navet. Validation d'Applications Temps Réel distribuées autour du Réseau CAN. CiA - Jours du CAN in Automation 2001, 2001, Aix-en-Provence/France, 8 p. ⟨inria-00107520⟩
130 Consultations
48 Téléchargements

Partager

Gmail Facebook X LinkedIn More