Implémentation Orientée Objet d'ABAReL en Maude - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 2011

Implémentation Orientée Objet d'ABAReL en Maude

Résumé

ABAReL (AADL Behavioral Annex based on revised Rewriting Logic) associe à un thread AADL un modèle mathématique représenté par une théorie de réécriture étendue décrivant sa structure statique et comportementale. Elle offre un cadre sémantique général approprié pour raisonner sur le comportement des threads, dans un plan architectural d?un système embarqué temps réel, sans altérer le métamodèle AADL. L?objectif de cet article est double. D?une part, nous situons le modèle formel d?ABAReL dans le contexte d?une théorie orientée objet temps réel et nous exploitons le système RT-Maude pour exécuter et analyser l?architecture AADL correspondante vis-à-vis des flux qui la traversent et des propriétés d?exécution déclarées. D?autre part, nous enrichissons ABAReL par la sémantique d?exécution d?une composition architecturale de threads et leurs connexions possibles, tout en supervisant l?effet du passage du temps sur la transmission des flux de données et/ou événements à travers ces connexions.
Fichier non déposé

Dates et versions

hal-01125817 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125817 , version 1

Citer

Malika Benammar, Faiza Belala, Kamel Barkaoui. Implémentation Orientée Objet d'ABAReL en Maude. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, 30, pp.741-767. ⟨hal-01125817⟩
68 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More