Sylvie Putot, LIX, Ecole Polytechnique
L’interaction de composantes informatiques, qui calculent et communiquent, avec leur environnement régi par des lois physiques, comme pour un avion ou un système médical implanté, est au centre du domaine émergent des systèmes cyber-physiques (CPS).
Les systèmes embarqués en sont naturellement une brique de base.
Mais alors que les systèmes embarqués traditionnels se concentrent essentiellement sur les aspects informatiques, cette conférence propose de s’attacher plus particulièrement à l’interface entre le monde discret informatique et le monde physique continu.
Maîtriser la modélisation, l’analyse et le contrôle du comportement de tels systèmes est crucial pour permettre dans le futur d’améliorer l’efficacité, les fonctionnalités, et d’assurer la fiabilité de ces systèmes, toujours plus complexes et souvent critiques en terme de sécurité ou de coût. J’évoquerai en particulier des travaux récents sur l’analyse d’atteignabilité des systèmes dits hybrides résultant de cette interaction.