Un logiciel efficace pour le contrôle
Le projet RSCS (Automata based interfaces for dynamic resource scheduling in control systems), financé par l'UE, a cherché à intégrer l'utilisation efficace des ressources aux logiciels embarqués de contrôle. L'idée était d'associer la théorie du contrôle et celle de la planification, éliminant ainsi la nécessité d'appliquer aux composants logiciels des exigences strictes ou des délais impératifs. En outre, la solution n'interdirait pas d'utiliser les composants logiciels de contrôle dans les cas où la sécurité est critique. L'équipe a étudié les interfaces des composants des systèmes de contrôle logiciel, capables de rationaliser l'intégration d'une planification dynamique. Ceci devrait conduire à une allocation efficace des ressources dans les systèmes de contrôle critique. Le principe était de renvoyer des informations depuis la boucle de contrôle vers l'algorithme de planification, afin d'adapter l'allocation des ressources. Le système pourrait être utilisé dans des robots, des avions et des machines industrielles. Le projet s'est achevé en août 2014 après quatre années d'activité. Le projet RSCS a élargi la portée des interfaces à base d'automates. Les chercheurs ont aussi proposé des méthodes pour utiliser les automates en tant qu'interface pratique entre la planification et le contrôle. Les développements ont conduit à une planification dynamique, des garanties formelles de performance, et la séparation des tâches entre les ingénieurs du contrôle et du logiciel. L'équipe a aussi créé des méthodes pratiques pour l'allocation dynamique des ressources, notamment une méthode légère de prise de décision et de planification. Ceci a autorisé des stratégies de contrôle capables de modifier dynamiquement la demande en ressources, en fonction des conditions. Le projet a aussi réalisé des outils expérimentaux pour démontrer les avantages de la nouvelle approche. L'un de ces outils, GameComposer, a utilisé des études de cas pour démontrer l'adéquation de l'idée du projet. Enfin, l'équipe a contribué aux méthodes formelles et aux théories des systèmes mixtes. Le projet RSCS a réalisé de nouvelles techniques de contrôle et de conception, et contribué à la théorie des automates. Il s'est traduit par des interfaces plus souples et des systèmes de contrôle plus réactifs.
Mots‑clés
Logiciel embarqué de contrôle, interfaces basées sur des automates, planification des ressources, systèmes de contrôle, composants logiciels