Optimisation de la programmation des systèmes temps réel
Les systèmes informatiques ont littéralement envahi notre vie quotidienne, parfois sous des formes facilement reconnaissables comme les ordinateurs personnels, mais également de façon plus insidieuse dans les téléphones portables, les automobiles et même les machines à laver. D'autre part, le développement de logiciels associés est freiné par le manque de connaissances scientifiques en matière de sécurité et de fiabilité ou dans la résolution des problèmes d'efficacité. Dans le cadre du projet AMETIST, les chercheurs ont travaillé sur l'élaboration d'une base théorique solide et facilement compréhensible des méthodes à la base du développement de ces logiciels. Plus précisément, d'importants progrès ont été accomplis dans la mise au point de modèles mathématiques qui pourraient être utilisés pour valider le bon fonctionnement des systèmes répartis temps réel complexes. Les partenaires du projet de l'université Aalborg (Danemark) ont cherché à établir des automates temporisés comme modèle unificateur d'une large classe de systèmes où l'information temporelle joue un rôle crucial. Avec le terme «automate temporisé» ils ont défini le modèle mathématique le plus important d'un système dynamique équipé d'une horloge mesurant le temps. Les automates temporisés sont utilisés en informatique de la même façon que les équations différentielles qui sous-tendent les lois physiques des systèmes d'ingénierie traditionnelle. Toutefois, le formalisme des automates temporisés a été étendu pour permettre la modélisation et l'analyse d'une consommation continue de ressources comme celle de l'énergie. De cette manière, les différentes options possibles de programmation pourraient être distinguées en fonction de leur consommation de ressources, avec une préférence évidente pour la programmation optimale demandant le minimum nécessaire de ressources. Les algorithmes mis au point pour ces automates temporisés de coût ont déjà été utilisés dans le système de vérification temps réel UPPAAL CORA, récemment mis sur le marché. Grâce à cette technologie, dédiée à l'analyse et au débogage automatique de systèmes réactifs complexes, plusieurs problèmes industriels ont pu être abordés. Par exemple la planification de la production de laque, le système de supervision périphérique d'une automobile ainsi que la mise en œuvre d'un protocole marque biphase.
