Projet CAROSSE - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2001

Projet CAROSSE

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.
Fichier non déposé

Dates et versions

inria-00100698 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100698 , version 1

Citer

Françoise Simonot-Lion, Matthieu Courrier, Paolo Castelpietra, Ye-Qiong Song. Projet CAROSSE. [Interne] A01-R-279 || simonot-lion01b, 2001, 37 p. ⟨inria-00100698⟩
76 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More