Outils d'aide à la conception de systèmes mécatroniques sûrs de fonctionnement
Résumé
Les notions de sûreté de fonctionnement (SdF) sont souvent ressenties par les industriels comme, à la fois, un point mal maîtrisé, et un point critique pour le déploiement et l'avenir des technologies mécatroniques. Dans cette optique, nous présenterons une méthode permettant la génération semi automatique de l'AMDE et le modèle analytique de sûreté. On appliquera ensuite notre méthode sur un système mécatronique. Pour générer l'AMDE, on modélisera notre système par le biais d'UML et plus particulièrement le diagramme de séquence, où les composants du système sont considérés comme des acteurs. Les diagrammes UML du système étudié seront aussi utilisés, après une traduction en langage AADL, pour la génération d'un modèle en RdPSG (réseau de Petri stochastique généralisé) afin d'obtenir des indicateurs de performances liés à la SdF. Nous voulons montrer par ce travail qu'il est possible d'améliorer les interactions et donc l'efficacité entre les équipes de conception et celles ayant la charge des analyses de SdF d'un système.