Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00100698
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:49:48 PM
Last modification on : Tuesday, March 16, 2021 - 5:42:04 PM

Identifiers

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

Share

Metrics

Record views

174