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

A paraîtreABAReL (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