Contribution à la conception des systèmes sûrs de fonctionnement – Approches fonctionnelles et comportementales

Abstract

Les recherches fondamentales et appliquées présentées dans le cadre de cette habilitation à diriger les recherches portent sur la conception de systèmes sûr de fonctionnement. Un système automatisé est sûr de fonctionnement s’il est capable d’exécuter les missions qui lui sont attribuées, à un instant donné ou sur une durée définie. Ceci nécessite que les composants qu’il regroupe soient interopérables et interchangeables. Pour décrire les services rendus par les composants du système et leur organisation en modes de fonctionnement, un modèle générique de composant est proposé. Il permet de vérifier l’existence d’une redondance fonctionnelle au niveau de l’ensemble des services rendus par les composants du système et ainsi de garantir une certaine tolérance aux fautes. La disponibilité des services et la possibilité de réaliser les missions du système sont évaluées en temps réel en utilisant des indicateurs de défauts construits sur la mise en évidence de relations de redondance analytique obtenues à partir de l’outil Bond Graph et de son extension, le Bond Graph Signé. L’Event Driven Hybrid Bond Graph, construit à partir du modèle générique de composant, utilise les résultats de la couche diagnostic, pour garantir un pilotage sûr de fonctionnement du système étudié.