Projet CAROSSE

Françoise Simonot-Lion 1 Matthieu Courrier 1 Paolo Castelpietra 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é : l' objectif du travail présenté ici est d' apporter une aide à la maîtrise de la modélisation de systèmes embarqués complexes (matériels et logiciels), à l évaluation de leurs paramètres et à la vérification de propriétés. Plus précisément, il consiste en la définition d 'une méthodologie pour laconstruction automatique de modèles d architectures électroniques et pour l exploitation de ces modèles par simulation en vue de la vérification des contraintes temps réel de l application. L étude réalisée fait abstraction de l 'outil de modélisation et simulation choisi. Lors de la simulation du modèle ainsi obtenu, l' analyse des traces permet d évaluer les paramètres et de vérifier les propriétés temporelles de l 'application.
Type de document :
Rapport
[Interne] A01-R-279 || simonot-lion01b, 2001, 37 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00100698
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:49:48
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00100698, version 1

Collections

Citation

Françoise Simonot-Lion, Matthieu Courrier, Paolo Castelpietra, Ye-Qiong Song. Projet CAROSSE. [Interne] A01-R-279 || simonot-lion01b, 2001, 37 p. 〈inria-00100698〉

Partager

Métriques

Consultations de la notice

133