suivant: Un modèle de composants monter: Modèles de composants pour précédent: Modèles de composants pour
Synthèse d'adaptateurs pour composants temps-réels
Aujourd'hui, un nombre croissant de systèmes logiciels sont construits à partir de composants réutilisables ou sur étagère (« off-the-shelf »). La construction d'un système temps-réel à partir de tels composants soulève plusieurs problèmes, souvent liés à des questions de compatibilité, de communication et de qualité de service.
Afin de répondre à ces problèmes, nous avons développé un modèle à composants légers qui interagissent selon un modèle de flot de données. Chaque composant déclare des ports d'entrée et de sortie. Les ports des composants sont connectés par des canaux de communication synchrones. Dans ce cadre, une interface de composant est une description formelle du protocole d'interaction du composant avec son environnement attendu, en termes de séquences d'action d'écriture et de lecture. Le développeur d'un composant peut spécifier des contraintes de qualité de service comme la latence et les durées des écritures et lectures, et la fréquence d'activation du composant (son horloge). Nous avons formalisé le langage de spécification des composants, appelé DLiPA; sa sémantique et celle du modèle à composants, basé sur une approche d'algèbre de processus.
Afin de combiner des composants incompatibles (du fait, par ex., d'horloges, de latences, de durées ou de protocoles incompatibles), nous synthétisons des adaptateurs. Un adaptateur est placé entre (au moins) deux composants communicants et incompatibles. Un adaptateur peut être vu comme un composant pourvu d'une mémoire tampon permettant d'harmoniser (par ex. retarder) les communications entre les autres composants. Chaque adaptateur est dérivé automatiquement de la spécification des interfaces des composants à harmoniser. La synthèse d'adaptateur facilite la réutilisation de composants et la construction incrémentale de systèmes.
Ce processus a été formalisé dans la théorie des automates et des réseaux de Pétri. Nous avons appliqué cette approche à deux études de cas: un système de contrôle d'échange de chaleur et un contrôleur adaptatif de vitesse de croisière.
suivant: Un modèle de composants monter: Modèles de composants pour précédent: Modèles de composants pour
