Nos partenaires

CNRS

Rechercher





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

Thème 7 - Sûreté de développement du logiciel

Responsable : Yamine Ait-Ameur

 

Les recherches du thème concernent l’assistance au développement du logiciel. Elles couvrent l’ensemble des activités du processus de développement et concernent les formalismes, méthodes et outils pour la spécification, la conception, l’implémentation et la validation de systèmes à logiciel prépondérant.

Le spectre des recherches couvre des aspects théoriques et pratiques et vise à prendre en compte les fortes contraintes des logiciels des systèmes critiques, pour lesquels l’enjeu majeur reste la certification. Il s’agit aussi d’intégrer au cours du développement des caractéristiques extra-fonctionnelles issues des besoins de l’utilisateur ou des exigences du système à concevoir, mais aussi des composants logiciels et matériels à déployer. Les travaux du thème ont été appliqués dans de nombreux domaines comme les systèmes embarqués et les systèmes ambiants.

Le thème s’intéresse ainsi à la théorie des types et des catégories, et à l’extension des outils de preuve pour assister la modélisation. Nos travaux visent aussi à définir un cadre unificateur pour un développement fondé sur les modèles. Cette thématique englobe la spécification de processus à base de modèles, les transformations de modèles et le développement par points de vue. En ingénierie des systèmes, il s’agit de valider des spécifications à l’aide de méthodes formelles, de définir des modèles d’exécution ou encore de vérifier certaines de leurs propriétés. Ce contexte de l’ingénierie des systèmes fédère les travaux du thème menés en conception, validation et vérification de logiciels critiques.

Nous participons fortement aux activités du laboratoire commun AIRSYS (Airbus, IRIT et LAAS). Nous sommes également engagés dans l’élaboration de propositions de projets de l’Institut de Recherche Technologique (IRT) Saint Exupéry de Toulouse.

Cette rubrique ne contient aucun article.