Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe ACADIE > Recherches

Recherches

L’équipe ACADIE a 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 :

  • les environnements de preuve,
  • les méthodes et les langages pour le développement de logiciels critiques,
  • la vérification de systèmes distribués critiques.

Type Theory and Category Theory

The principal goal of our work based on concepts of Type Theory and Category Theory is the improvement and development of methods of program verification and certification. Our research in this (...)

Lire la suite

Development of Critical Software

We address the development of critical software through semantic models : Timed models, structuring design concepts : contract-based design and languages : Real-time languages. More generally, we (...)

Lire la suite

Verification of Critical Distributed Systems

The group’s themes are : specification and verification of data-directed distributed real-time systems and Distributed services discovery and composition. The strong points of both subjects are : (...)

Lire la suite