Présentation des outils de modélisation
Modélisation des pannes d’une antenne active et modifications d’architecture

Dans le domaine spatial, la fiabilité désigne l’aptitude d’un satellite à accomplir une fonction, typiquement sa mission sur un intervalle de temps donné. Il s’agit d’une grandeur spécifique à la sûreté de fonctionnement, et particulièrement pour les satellites qui sont des systèmes non réparables, tels que les satellites de télécommunication par exemple, pour lesquels il n’existe pas de seconde chance.

L’expérience montre que les pertes de mission sont toujours plus coûteuses que l’investissement dans l’assurance qualité et la fiabilité, d’autant plus pour les satellites de télécommunication qui sont très onéreux.

Lors de la phase de conception d’un projet, les ingénieurs en sûreté de fonctionnement doivent évaluer la fiabilité des différentes architectures envisagées et apporter leur point de vue lors des discussions entre les différentes parties en vue d’atteindre un compromis. En effet, la fiabilité est un critère important considéré par l’ingénierie et peut permettre de discriminer une conception par rapport à une autre.

Les systèmes étudiés étant de plus en plus complexes, Thales Alenia Space, acteur de l’industrie satellite, adapte ses outils et ses méthodes afin de répondre aux défis qui lui sont proposés. Ainsi, l’émergence du MBSA (model-based safety assessment) se présente comme une technique prometteuse pour la sûreté de fonctionnement. Elle consiste à représenter un système par un modèle de haut niveau afin d’en étudier la propagation des défaillances, puis d’en estimer la fiabilité par des simulations informatiques. Son avantage notable réside dans sa souplesse, qui permet des changements d’architecture rapides, replaçant ainsi l’ingénieur en sûreté de fonctionnement au cœur des discussions d’architecture.

Dans cet article, c’est avant tout la flexibilité des outils MBSA qui est étudiée, c’est-à-dire leur capacité à modéliser rapidement plusieurs architectures similaires, cette flexibilité étant notamment comparée à la modélisation par réseaux de Petri, à l’origine des concepts développés par le MBSA.