Langages et Atelier Intégré pour le Développement de Composants Embarqués Sûrs Ce projet est une ACI "Sécurité & Informatique"

Au menu Accueil / Home Participants Liens / Links Réunions Paris, ma. 07 Grenoble, ju. 06 Grenoble, sep. 05 Paris, mai 05 Grenoble, fév. 05 Paris, oct. 04 Documents Rapport à mi-parcours (html) (pdf) Poster présenté aux journées PaRI-STIC, nov. 2006 (format a4) (format a1) Publications

Larissa, aspects et composants pour les systèmes embarqués Dans le cadre de la thèse de D. Stauch à Verimag, nous étudions la notion de programmation par aspects dans la famille des langages synchrones. Pour ne pas être trop dépendant de la forme d'un langage particulier, nous travaillons sur un noyau de base constitué d'automates de Mealy et d'opérations de composition simples (mise en parallèle, hiérarchie, diffusion synchrone). La proposition est publiée dans [1,23]. Une utilisation particulière de ce langage d'aspects pour la programmation par composants des interfaces de systèmes embarqués comme les équipements de l'électronique grand public est publiée dans [2]. L'idée est que les interfaces des différents modèles d'un tel équipement (une montre multi-fonctions à affichage numérique par exemple) sont toujours constitués des mêmes ingrédients. Elles varient très peu pour inclure plus ou moins de fonctions. Nous décrivons les interfaces de 3 modèles de la même marque à base de composants comportementaux et de composants qui sont en fait des aspects à tisser. Cette utilisation des aspects est particulièrement utile pour décrire les mécanismes de ``raccourcis'' dans les interfaces homme-machine qui disposent de peu de boutons : dans un certain mode, une fonction normalement accessible par une suite de pressions sur des boutons devient accessible avec un seul bouton. Le fait de considérer les aspects comme des composants particuliers est rendu possible par les qualités du langage d'aspects que nous utilisons : le tissage est défini comme une opération à part entière, qui possède les mêmes bonnes propriétés que les autres opérations. En particulier, si l'on tisse le même aspect dans deux programmes équivalents, on obtient deux nouveaux programmes équivalents.