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

Nicolas Navet 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
CiA - Jours du CAN in Automation 2001, 2001, Aix-en-Provence/France, 8 p, 2001
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107520
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 08:59:43
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:05:48

Identifiants

  • HAL Id : inria-00107520, version 1

Collections

Citation

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, 2001. 〈inria-00107520〉

Partager

Métriques

Consultations de la notice

165

Téléchargements de fichiers

36