Génération automatique de modèles d'application Temps-Réel

Fabrice Jumel 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Le but du projet est de mettre en place une méthodologie et des outils permettant de valider les propriétés temporelles d'applications distribuées complexes (hétérogénéité des matériels supports, approche événementielle ) spécifiées dans un langage de description d'architecture (ici Ardeco propre au consortium Covadis [Thomas97] ). Ce langage permet de décrire une architecture fonctionnelle sous forme d'une architecture de composants. l'architecture fonctionnelle permet de décrire les différentes fonctions des composants et leurs interactions logiques. l'architecture matérielle constitue l'informatique support (calculateurs et systèmes exécutifs, réseaux et protocoles, topologie de connexion). l'architecture opérationnelle est le résultat de la projection d'une architecture fonctionnelle sur une architecture matérielle. Nous sommes partis des travaux initiés au sein du consortium COVADIS et les avons étendus par des propositions de mécanismes supplémentaires.Il a fallu également définir les mécanismes de projection de l'architecture fonctionnelle sur l'architecture matérielle, puis proposer les modèles de l'architecture matérielle (ordonnanceurs locaux, protocoles de communication) et les interactions de ces modèles avec ceux de l'architecture fonctionnelle.
Type de document :
Rapport
[Stage] 99-R-238 || jumel99a, 1999, 50 p
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107814
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:10:39
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:32:15

Fichier

Identifiants

  • HAL Id : inria-00107814, version 1

Collections

Citation

Fabrice Jumel. Génération automatique de modèles d'application Temps-Réel. [Stage] 99-R-238 || jumel99a, 1999, 50 p. 〈inria-00107814〉

Partager

Métriques

Consultations de la notice

224

Téléchargements de fichiers

59