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
Type de document :
Rapport
[Contrat] 98-R-056 || courrier98a, 1998, 32 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098544
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:13
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

170