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 sciences et technologies du numérique Access content directly
Reports (Contract/Project Report) Year : 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
  • Function : Author
Sébastien Wolf
  • Function : Author
Ye-Qiong Song

Abstract

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
No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00098544 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More