Développement de Systèmes Temps Réels Exploitant l'Approche Orientée Aspects

Résumé

Les systèmes temps réel et embarqués ne cessent de gagner en complexité grâce à l'évolution du matériel menée par la loi de Moore. Des nouvelles approches de développement sont nécessaires afin de maîtriser cette complexité. L'approche orientée aspect permet de séparer les mécanismes fonctionnels de ceux non-fonctionnels lors de l'implémentation d'un système informatique. Ceci facilite la mise en œuvre et la maintenance de ces applications. C'est dans ce contexte général que s'inscrivent les travaux de recherche de cette thèse. Nous avons proposé une nouvelle approche, appelée AOM-RTSys, pour la conception des systèmes temps réel. En effet, un système temps réel peut être vu comme une composition des besoins fonctionnels et ceux non fonctionnels. Ces derniers, regroupent des contraintes de temps, d'ordonnancement et de synchronisation. Partant de ce point de vue, toute application standard peut se transformer en une application temps réel par <<~tissage~>> de contraintes non fonctionnelles. Cette approche a été appliquée dans le domaine de la conception orientée objet, des systèmes temps réel, avec UML et son profil MARTE. AOM-RTSys permet d'intégrer des contraintes temps réel, modélisées avec MARTE, dans un modèle initiale. L'intégration des contraintes est assurée par une opération de tissage qui consiste à ajouter ces contraintes dans des emplacements bien déterminés par le concepteur en utilisant un Plan de tissage constitué par des instances de règles de tissages. L'opération de tissage est assurée par un tisseur que nous avons appelé NOLE. Le tisseur prend en entrée un modèle initial et un ensemble de contraintes sous forme d'un ou plusieurs plans de tissages afin de générer un modèle temps réel cible. Afin d'assurer le bon fonctionnement du processus de tissage assuré par le tisseur NOLE, nous avons opté pour l'intégration d'un processus de vérification et de validation dans ce dernier. La validation et la vérification des instances de règles comporte quatre étapes principale ; la vérification lexicale, syntaxique, sémantique et d'aspect. Ces vérifications visent à détecter et prévoir les conflits possibles.

Citer ce document

Accès au document

Ce document est hébergé sur son dépôt institutionnel d'origine.

Auteur(s)

Statistiques

Consultations : 2

Téléchargements : 0