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 Access content directly
Conference Papers Year : 2001

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

Nicolas Navet
  • Function : Author
  • PersonId : 830599

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00107520 , version 1

Cite

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 View
48 Download

Share

Gmail Facebook Twitter LinkedIn More