ADAPTABILITE DE LOGICIELS DANS L’EMBARQUE
No Thumbnail Available
Date
2016
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Les nouvelles problématiques introduites par l’omniprésence du logiciel dans
différentes branches de l’industrie afin de faire face à la complexité croissante des systèmes et
à l'incertitude de leur environnement, ont poussé les ingénieurs logiciels à se tourner vers
l'auto-adaptation. Les systèmes auto-adaptatifs sont capables de faire face à un
environnement en constante évolution et à des exigences émergentes qui peuvent être
inconnues au moment de la conception. La construction de tels systèmes de façon rentable et
de manière prévisible est un défi majeur de l'ingénierie des systèmes logiciels. Dans cette
perspective, le paradigme des Lignes de Produits Logiciels Dynamiques (LPLD) qui se base
sur la notion de caractéristique a apporté un apport considérable.
Dans cette thèse, nous avons étudié les différentes approches les plus notables pour
l’adaptabilité des systèmes embarqués et nous avons mis en relief leurs limites dans le
contexte de la prise de décision. Particulièrement, nous avons mis l’accent sur le fait que
ces travaux implémentent la prise de décision sur de simples règles Evénement-Condition Action. Ce type de règles ne permettent pas de prendre en charge des scenarios omis ou non
prévus au moment de la conception, ou avec des stratégies orientées objectifs qui reportent la
planification de l’adaptation au moment de l’exécution en associant des valeurs de fitness aux
configurations cibles et en sélectionnant la meilleure d’entre elles.
Ces approches proposent des outils supports ayant une complexité calculatoire très
importante (en termes de consommation de ressources et de temps d’exécution). Les
ressources et le temps sont deux facteurs critiques dans le cas de l’adaptabilité à l’exécution.
Dans ce sens, les approches existantes ne sont pas appropriées pour les systèmes embarqués
modernes.
Cette thèse appréhende le défi de la prise de décision dans les systèmes logiciels
embarqués adaptables comme étant un problème de premier plan en ne prenant en
considération que le processus de prise de décision qui doit vérifier un certain nombre de
contraintes liées aux paramètres du temps et des ressources disponibles.
Dans cet ordre d’idée, nous avons défini la notion de dépendance transitive entre les
caractéristiques, sur laquelle une nouvelle approche pour le raisonnement sur les modèles de
caractéristiques a été proposée dans cette thèse.
Afin de supporter la prise de décision, nous avons défini une variante améliorée de
l’algorithme génétique pour la sélection de caractéristique, capable d’implémenter le
problème particulièrement délicat de l’auto-guérison dans les systèmes embarqués temps réel.
En outre, et afin d’analyser les modèles de caractéristiques nous avons implémenté un outil
support qui présente l’avantage d’être plus efficace et performant tant sur le plan qualité que
sur le plan du temps de calcul.