On détaillera l'échéancier des résultats et réalisations intermédiaires et finaux attendus. On précisera les risques scientifiques qui seront pris. On discutera de l'impact potentiel de ce projet sur les scènes européenne et internationale.
L'objectif global du projet est le développement de nouvelles techniques d'analyse et de vérification automatique de logiciels embarqués qui permettent de prendre en compte des structures de données et de contrôle dynamiques.
Notre approche sera basée sur des méthodes de model-checking symbolque
et d'analyse statique, le but étant d'améliorer l'applicabilité de ces
techniques, autant du point de vue de l'expressivité que de
l'efficacité. L'impact des nos résultats ainsi que les risques
scientifiques dans la réalisation du projet ont été discutés en détail
dans les sections précédentes.
Le calendrier de travail envisagé est le suivant :