Gestion de la sécurité aérienne
La gestion de la sécurité aérienne s'inscrit dans un cadre plus général, la gestion de la sécurité des systèmes complexes. En effet, un professeur de psychologie de l'université de Manchester, James Reason, a montré en se centrant sur les notions de facteur humain et sur des problématiques organisationnelles que des systèmes aussi différents que ceux de la santé (sécurité du patient), du nucléaire (sécurité des personnes), de la finance (sécurité des comptes) ou du transport aérien (sécurité des personnes) présentaient des similitudes sur le plan des risques et des défaillances. Il a donc tenté de définir un modèle théorique qui puisse guider la mise en œuvre d'une gestion de la sécurité efficace.
Sûreté de fonctionnement des logiciels aérospatiaux
Il existe des architectures spécifiques à la sûreté de fonctionnement basé sur la redondance matérielle ou logicielle. Les méthodes employées importent également pour limiter les coûts de retard ou de mauvais fonctionnement, mais doivent en plus apporter la sûreté en parallèle du bon fonctionnement. D'abord en amont, pendant la conception, sont utilisées des méthodes comme l'architecture basée sur le modèle, le développement orienté sûreté ou l'utilisation de la méthode agile dans l'aérospatiale. Mais également en fin de processus, où les programmes sont vérifiés via la vérification automatique ou encore les tests unitaires