Application du MBSA avec AltaRica 3.0 dans un cadre système de systèmes pour le transport autonome
Résumé
Un système de mobilité autonome et multimodale, classiquement vu comme un système de systèmes (SdS), implique plusieurs systèmes : e.g. des voitures et navettes autonomes et connectés, des équipements d’infrastructures routières connectés, des centres de téléopération, etc. De tels systèmes doivent interagir ensemble afin d’assurer une mission principale de transport de personnes. L’étude de la sûreté de fonctionnement d’un tel SdS est des plus importantes. D’une part car elle implique l’évaluation de la sûreté des véhicules autonomes, qui représente un véritable défi technologique en soit. D’autre part car les interactions entre ces différents systèmes multiplient les potentiels dysfonctionnements. L’utilisation d’une approche dite basée modèles (MBSA), sous-entendues modèles de ‘haut-niveau’ proches des architectures fonctionnelles et organiques, rencontre une attention de plus en plus forte. Le langage AltaRica 3.0 est une telle solution MBSA. Cette publication montre l’utilisation de ce langage pour évaluer la sûreté de fonctionnement de ce SdS. Le modèle AltaRica 3.0 est construit en fonction d’événements redoutés issus d’une analyse préliminaire de risques et des architectures fonctionnelles et organiques du SdS. Ce modèle permet ensuite d’analyser les coupes minimales et leurs taux d’occurrences, en fonction de critères d’évaluation de sûreté spécifiés (ordre, taux d’occurrence, etc.).