Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception

Quentin Enard 1, 2
2 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Résumé : Dans de nombreux domaines tels que l'avionique, la médecine ou la domotique, les applications logicielles jouent un rôle de plus en plus important, allant jusqu'à être critique pour leur environnement. Afin de pouvoir faire confiance à ces applications, leur développement est contraint par des exigences de sûreté de fonctionnement. En effet il est nécessaire de démontrer que ces exigences de haut-niveau sont prises en compte tout au long du cycle de développement et que des solutions concrètes sont mises en oeuvre pour parvenir à les respecter. De telles contraintes rendent le développement d'applications sûres de fonctionnement particulièrement complexe et difficile. Faciliter ce processus appelle à la recherche de nouvelles approches de développement qui intègrent des concepts de sûreté de fonctionnement et guident les développeurs lors de chacune des étapes nécessaires à la production d'une nouvelle application digne de confiance. Cette thèse propose ainsi de s'appuyer sur une approche dirigée par la conception pour guider le développement des applications sûres de fonctionnement. Cette approche est concrétisée à travers une suite d'outils nommée DiaSuite et offre du support dédié à chaque étape du développement. En particulier, un langage de conception permet de décrire à la fois les aspects fonctionnels et non-fonctionnels des applications en se basant sur un paradigme dédié et en intégrant des concepts de sûreté de fonctionnement tels que le traitement des erreurs. A partir de la description d'une application, du support est généré pour guider les phases d'implémentation et de vérification. En effet, la génération d'un framework de programmation dédié permet de guider l'implémentation tandis que la génération d'un modèle formel permet de guider la vérification statique de l'application et qu'un support de simulation permet de faciliter les tests. Cette approche est évaluée grâce à des cas d'études réalisés dans les domaines de l'avionique et de l'informatique ubiquitaire.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2013. Français. <NNT : 2013BOR14781>
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00839298
Contributeur : Quentin Enard <>
Soumis le : jeudi 27 juin 2013 - 16:22:51
Dernière modification le : jeudi 10 septembre 2015 - 01:08:54

Identifiants

  • HAL Id : tel-00839298, version 1

Collections

Citation

Quentin Enard. Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception. Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2013. Français. <NNT : 2013BOR14781>. <tel-00839298>

Partager

Métriques

Consultations de
la notice

346

Téléchargements du document

292