Soutenance de thèse de Priyadarshini

Nous avons le plaisir d'annoncer la soutenance de thèse de Priyadarshini. Celle-ci aura lieu le lundi 25 novembre 2024 à 14 h, dans la salle A042 de l'École d'ingénieurs Esisar, à Valence.

Il est possible de participer via Zoom :

https://grenoble-inp.zoom.us/j/91446307201

Identifiant de la réunion :914 4630 7201
Code d'accès : 533675

Les membres du jury de la défense sont :

• Mme Oum-El-Kheir AKTOUF, professeure d'université, GRENOBLE INP – UGA – directrice de thèse
• Mme Fatiha ZAIDI, professeure d'université, Université PARIS-SACLAY – Rapporteuse
• M. Salah SADOU, professeur d'université, Université de Bretagne Sud – Lorient-Vannes – rapporteur
• M. Andrea CECCARELLI, maître de conférences – Université des études de Florence – Examinateur
• M. Jean-Paul JAMONT, professeur d'université, Université GRENOBLE ALPES – Examinateur

Cette thèse a été rédigée dans le cadre d'une collaboration entre le laboratoire LCIS et la société Robert Bosch GmbH, sous la co-direction de :

• Oum El Kheir AKTOUF, professeure d'université, GRENOBLE INP – UGA – Directrice de thèse
• Maike MASSIERER, experte en sécurité automobile, Robert Bosch GmbH – Co-directrice de thèse
• Simon GREINER, expert en sécurité automobile, Robert Bosch GmbH – Co-directeur de thèse

Titre de la thèse :Identification automatisée des interactions comportementales entre les dispositifs de sûreté et de sécurité dans les systèmes automobiles

Résumé :Les systèmes de transport actuelsconnaissent une transformation majeure, portée par l’électrification, une connectivité renforcée et l’intégration de fonctionnalités définies par logiciel et d’algorithmes d’apprentissage automatique. Ces avancées accroissent considérablement la complexité des systèmes et le risque d’interactions imprévues entre leurs différentes fonctionnalités. La transition vers la conduite automatisée réduit l’intervention humaine, ce qui renforce la nécessité de disposer de systèmes garantissant à la fois la sûreté et la sécurité.

Si des normes telles que l’ISO 26262 relative à la sécurité fonctionnelle et l’ISO/SAE 21434 relative à la cybersécurité fixent des exigences strictes, il n’existe toutefois aucune norme industrielle traitant des interactions entre les éléments liés à la sécurité fonctionnelle et ceux liés à la cybersécurité. Des interactions involontaires entre ces éléments peuvent entraîner des risques importants, notamment des problèmes critiques de sécurité. Ces défis sont aggravés par des terminologies divergentes, des équipes de développement distinctes et des délais de livraison serrés, ce qui se traduit souvent par une détection tardive de ces interactions, entraînant une augmentation des coûts et des retards.

L'objectif principal de cette thèse est de développer des méthodologies permettant d'identifier les interactions entre la sûreté et la sécurité dans le domaine automobile, afin d'améliorer la fiabilité globale du système. La figure ci-dessus met en évidence, à l'aide de flèches bleues numérotées, les interactions entre la sûreté et la sécurité que nous abordons dans cette thèse.

Nous proposons une méthode permettant d’identifier la relation de causalité entre les spécifications comportementales des fonctionnalités de sécurité correctement mises en œuvre et les défaillances des composants du système (indiquée par le numéro 1 sur la figure). De plus, nous présentons des méthodes permettant de détecter les interactions comportementales entre les fonctionnalités de sécurité fonctionnelle et de cybersécurité dès la phase de conception de l’architecture logicielle (illustrées par le numéro 2 sur la figure). En développant des outils visant à automatiser ces méthodes, nous permettons l’identification précoce des interactions au sein de systèmes automobiles complexes, ce qui facilite l’exploitation des synergies et la résolution des conflits, et améliore ainsi la fiabilité et les performances du système.