HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:49:48 PM
Last modification on : Friday, February 4, 2022 - 3:22:38 AM

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

70