Systèmes embarqués en avionique/automobile

Mots clés : systèmes embarqués, transports, protocoles, programmation réactive, contrôleur, avionique, automobile .

Les systèmes embarqués étant souvent critiques pour leur fiabilité, il est essentiel de les développer et de les valider avec des méthodes formelles de programmation et de vérification. Par leur parallélisme inhérent de programmation, les langages synchrones permettent de s'affranchir de la gestion dynamique de tâches parallèles telle qu'on la trouve dans les systèmes classiques comme les OS temps-réel et qui est difficile à maîtriser. Le déterminisme des programmes parallèles Esterel permet une mise au point et une vérification beaucoup plus simple. Nous collaborons activement avec Dassault Aviation sur ces thèmes, ce qui a constitué le moteur principal des améliorations du langage Esterel par retour d'expériences au cours des dix dernières années.