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
Les principales motivations sont économiques et techniques. Il est important dans ces domaines impliquant autant d'argent d'éviter les pertes, que ce soit matériel ou humain, entraînant des surcoûts énormes. Les difficultés à gérer sont multiples, il faut créer une grande quantité de systèmes embarqués, gérer des données persistantes légères, valider des exécutions par processeurs multi-cœurs, répondre à des problématiques temps-réel, limiter la consommation d'énergie et répondre à des contraintes de développement strictes.