Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033 - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport Contrat/Projet) Année : 1998

Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033

Matthieu Courrier
  • Fonction : Auteur
Sébastien Wolf
  • Fonction : Auteur
Ye-Qiong Song

Résumé

Ce rapport présente l'état d'avancement des travaux réalisés dans le cadre du contrat PSA~033 depuis le 1er Novembre 1997. Il s'attache tout d'abord à la définition du processus de validation d'une architecture opérationelle embarquée et donne des pistes pour la définition d'un langage de description d'architecture adapté aux besoins de validation, puis il présente les modèles réalisés dans le formalisme du logiciel SES/Workbench. Enfin il recense un certain nombre de problèmes qui devront faire l'objet d'une plus ample réflexion par la suite et

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00098544 , version 1 (25-09-2006)

Identifiants

  • HAL Id : inria-00098544 , version 1

Citer

Matthieu Courrier, Sébastien Wolf, Françoise Simonot-Lion, Ye-Qiong Song. Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033. [Contrat] 98-R-056 || courrier98a, 1998, 32 p. ⟨inria-00098544⟩
75 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More