Skip to Main content Skip to Navigation
Reports

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 Sébastien Wolf Françoise Simonot-Lion 1 Ye-Qiong Song 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00098544
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:13 PM
Last modification on : Tuesday, March 16, 2021 - 5:42:05 PM

Identifiers

  • HAL Id : inria-00098544, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

213