SYCOMORES

L'objective de l'équipe-projet commun SYCOMORES est de développer un framework pour la conception et l'analyse des systèmes embarqué temps-réel,  basée sur l'analyse symbolique de composants paramétriques. 

SYCOMORES cherche à réduire la complexité du logiciel embarqué temps réel de grande taille en utilisant la modularité : conception et implémentation basée sur les composants, spécification paramétrique de modèles et analyse symbolique. Nous utiliserons les méthodes formelles et les outils à tous niveaux d'abstraction. 

Les domaines d'application sont les systèmes embarqués critiques comme les logiciels dans l'avionique, dans l'automotive et dans le ferroviaire, et les systèmes sensitifs au temps comme les télécommunications et l'IoT. 

En utilisant des méthodes formelles comme les langages synchrones, l'interprétation abstraite, l'analyse symbolique et les techniques d'assistant de preuve, l'équipe SYCOMORES avancera vers l'objectif général de développer une architecture d'ordordonnancement basée sur les composants, une analyse modulaire et paramétrique pour l'analyse du pire temps d'exécution, et la génération modulaire de code correct par construction à partir de langages à haut niveau d'abstraction.