Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107520
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 8:59:43 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:05:48 PM

Identifiers

  • 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. ⟨inria-00107520⟩

Share

Metrics

Record views

225

Files downloads

87