Horizon Portail d'Information

Ressources numériques

Recherche rapide

Recherche avancée

Recherche alphabétique

Modifier la recherche

Mailland , David

Fifis , Nicolas

Modélisation des pannes d'une antenne active et modifications d'architecture , Marion Juan, David Mailland, Nicolas Fifis, ... [et al.]

Référence de l'article : se1221

Volume : base documentaire :TIP112WEB

Publié dans : Techniques de l'ingénieur. Sécurité et gestion des risques

Date de la publication : 2021/12/10

Cet article a pour but de modéliser la propagation de pannes dans une antenne active par la méthodologie MBSA ( model-based safety assessment ). Elle sera déterminée au moyen de deux outils : MissRdP, outil standard de la sûreté de fonctionnement chez Thales Alenia Space qui se base sur les réseaux de Petri, et AltaRica 3.0, langage dédié à l'analyse sûreté et adapté à la propagation de défaillances dans un système complexe. Cet article permet ainsi de mettre en avant la puissance, mais surtout la souplesse de ces outils, notamment pour une modification rapide et efficace d'architecture, en comparaison des outils plus classiques tels que les diagrammes de fiabilité ou les chaînes de Markov.

https://doi.org/10.51257/a-v1-se1221

https://www.techniques-ingenieur.fr/base-documentaire/environnement-securite-th5/securite-des-systemes-industriels-42830210/modelisation-des-pannes-d-une-antenne-active-et-modifications-d-architecture-se1221/

Modèles mathématiques

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.0© 2001-2019 SirsiDynix Tous droits réservés.

Horizon Portail d'Information