Temps Logique pour l'ingénierie dirigée par le modèles

Frédéric Mallet 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : CCSL (Clock Constraint Specification Language) a été construit pour abstraire les données et l'algorithme dans l'intention de focaliser sur les événements et le contrôle. Même si CCSL a été initialement conçu pour servir de modèle de temps au profil UML MARTE, il est devenu un langage de modélisation à part entière dédié à la capture des relations de causalités, chronologiques et temporelles, propres à un modèle. Il est destiné à complémenter des modèles syntaxiques qui eux capturent les structures de données, l'architecture et l'algorithme. Ce document commence par décrire les modèles de parallélisme qui ont inspirés CCSL. Ensuite, le langage CCSL est présenté puis utilisé pour construire des bibliothèques dédiées à deux spécifications standardisées dans les domaines de l'avionique (AADL) et de l'automobile (East-ADL). Finalement, nous introduisons une technique basée sur des observateurs pour vérifier des implantations (Esterel et VHDL) et s'assurer qu'elles respectent bien les propriétés données par une spécification CCSL.
Type de document :
HDR
Modeling and Simulation. Université Nice Sophia Antipolis, 2010
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00541140
Contributeur : Frédéric Mallet <>
Soumis le : lundi 29 novembre 2010 - 21:42:28
Dernière modification le : lundi 4 décembre 2017 - 15:14:09
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 21:51:48

Identifiants

  • HAL Id : tel-00541140, version 1

Collections

Citation

Frédéric Mallet. Temps Logique pour l'ingénierie dirigée par le modèles. Modeling and Simulation. Université Nice Sophia Antipolis, 2010. 〈tel-00541140〉

Partager

Métriques

Consultations de la notice

527

Téléchargements de fichiers

354