Approche pour le développement de logiciels intégrant des concepts de qualité de service

Stéphanie Geoffroy 1
1 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 les domaines critiques tels que l’avionique, le ferroviaire ou encore l’automobile, il faut, afin de pouvoir certifier un système, démontrer qu’il réalise la fonction pour laquelle il a été conçu, selon des exigences temporelles spécifiées. En effet, un rendu temporel trop long peut rendre des données erronées, et ainsi mettre en danger la sûreté des personnes. Aujourd’hui, la plupart des approches proposent d’assurer ces exigences de Qualité de service au niveau des couches basses, e.g., au travers d’une bande passante déterministe, d’allocation statique d’intervalles de temps, et d’un ordonnancement prédéfini. Ces contraintes assurent que les applications ne peuvent dépasser le temps d’exécution alloué ; les applications récupèrent de ce fait des exigences qui sont découplées de leur fonctionnalité. En revanche, il faut aussi pouvoir certifier des exigences temporelles spécifiques à une application. De là, les garanties au niveau des couches basses ne sont plus suffisantes. Il faudrait pouvoir prendre en compte ces exigences dès la phase de conception des applications. Aujourd’hui, la plupart des approches existant dans ce domaine se concentrent sur le support de QoS à des phases isolées du processus de développement logiciel, empêchant la traçabilité des exigences. Cette thèse propose une approche dirigée par la conception pour supporter les exigences de QoS tout au long du processus de développement logiciel, intégrée dans une méthodologie outillée, appelée DiaSuite. L’extension de QoS enrichit le langage de conception DiaSpec avec la capacité d’instancier les exigences de QoS sur les composants logiciels. Un support de surveillance à l’exécution de ces exigences temporelles est ensuite généré, directement à partir de la spécification. Cette thèse intègre uniformément les concepts temporels avec les concepts de gestion d’erreurs, au travers de la méthodologie DiaSuite, afin de proposer une couche de supervision qui puisse effectuer une reconfiguration applicative, dans le cas de violation de contrat de QoS. Les contributions de cette thèse sont évaluées au regard du respect des critères de cohérence et de conformité, illustrés au travers d’une étude de cas dans le domaine avionique.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université de Bordeaux, 2014. Français. < NNT : 2014BORD0008 >
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01111456
Contributeur : Abes Star <>
Soumis le : vendredi 28 août 2015 - 10:03:26
Dernière modification le : mercredi 5 juillet 2017 - 08:42:16
Document(s) archivé(s) le : dimanche 29 novembre 2015 - 10:23:05

Fichier

GATTI_STEPHANIE_2014.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01111456, version 2

Collections

Citation

Stéphanie Geoffroy. Approche pour le développement de logiciels intégrant des concepts de qualité de service. Génie logiciel [cs.SE]. Université de Bordeaux, 2014. Français. < NNT : 2014BORD0008 >. <tel-01111456v2>

Partager

Métriques

Consultations de
la notice

1186

Téléchargements du document

615