Abdelhakim Baouya

De la conception au déploiement des systèmes embarqués et critiques dirigés par la fiabilité à l’aide de la vérification de modèles probabilistes.

Résumé

La conception de systèmes embarqués et critiques est un processus complexe qui nécessite un effort important au niveau modélisation. Sa mise en oeuvre englobe les composants logiciels et matériels ainsi que ses interconnexions. Dans de tels systèmes, il est largement reconnu que la sureté et les défaillances matérielles doivent être prises en compte au stade de la conception, en particulier au niveau architectural afin d’éviter un éventuel effort de modélisation. L'Architecture Dirigée par les Modèles est une des approches promouvant la création de modèles conceptuels avec par exemple SysML ou AADL, en mettant l'accent sur les transformations automatiques et l'analyse. Cette présentation discute du rôle clef de l’architecture dirigée par des modèles pour la conception des systèmes embarqués à prépondérance logicielle incluant une représentation matérielle au niveau macroarchitecture avec des paramètres liés aux défaillances et de disponibilités. Je démontre aussi comment les techniques de vérification peuvent être appliquées avec succès à l'analyse de la sureté et de fiabilité pour le déploiement des systèmes automobiles et de contrôle du train.