Vérification des logiciels critiques pour la sécurité de l'avionique

L'objectif de ce livre est de fournir un aperçu des techniques de vérification utilisées pour vérifier les logiciels d'avionique critiques pour la sécurité conformément à la norme DO-178B, en mettant l'accent sur les tests unitaires des logiciels. Une vérification complète des logiciels comprend des tests de logiciels à différents niveaux/phases. L'objectif des tests de logiciels est de démontrer que le logiciel satisfait à ses exigences et également de démontrer avec un degré élevé de confiance que les erreurs qui pourraient entraîner des conditions de défaillance inacceptables, telles que déterminées par le processus d'évaluation de la sécurité du système, ont été supprimées. Les résultats des tests donnent une indication de la fiabilité et de la qualité du logiciel.

Autorentext

Chiranjeevi Aradhya ha sido el Ingeniero de Software Senior de Collins Aerospace systems durante los últimos 7 años. Tiene más de 15 años de experiencia trabajando en la industria aeroespacial en todas las últimas tecnologías, incluyendo el desarrollo de productos integrados de aviónica y la prueba de software de sistemas de aeronaves siguiendo los procesos DO-178B de nivel A a D.