Problématique

Le développement de logiciels certifiés constitue une demande croissante de l'industrie du logiciel dans la mesure où les systèmes informatiques embarqués deviennent de plus en plus omniprésents dans de multiples domaines. En particulier, le secteur de l'aéronautique et de l'espace, pôle d'excellence de la région Midi-Pyrénées, présente un fort potentiel de développement dans le domaine des applications distribuées et embarquées.

L'équipe ACADIE a donc pour objectif de contribuer à l'amélioration des méthodes et outils de certification des logiciels distribués embarqués. Pour ce faire, ses thématiques de recherche se développent selon trois axes complémentaires du plus théorique au plus applicatif :

• Théorie des types et de la démonstration,


• Développement et validation de méthodes,


• Modélisation et validation d'algorithmes répartis.

 Revenir à la rubrique Equipe ACADIE