Focus sur les normes RTCA DO-178C et DO-248C

Livre blanc à télécharger

Dans le domaine des logiciels avioniques critiques pour la sécurité, il est primordial de garantir la fiabilité, la précision et la conformité aux normes réglementaires. L'un des principes fondamentaux qui sous-tendent les normes RTCA DO-178C (Considérations logicielles dans la certification des systèmes et équipements aéroportés) et RTCA DO-248C (Informations complémentaires pour les normes DO-178C et DO-278A) est l'indépendance dans la vérification. Ce concept impose que les activités de vérification, telles que les examens, les analyses, les tests et les évaluations de la couverture structurelle, soient menées par des personnes qui n'ont pas participé au développement de l'élément du cycle de vie du logiciel concerné. En appliquant un processus de vérification indépendant, l'industrie aéronautique atténue le risque d'erreurs non détectées, réduit les biais et améliore la sécurité et l'intégrité globales des systèmes aéroportés.

L'indépendance est particulièrement importante pour les niveaux d'assurance de développement (DAL) élevés, tels que DAL A (catastrophique) et DAL B (dangereux), où les défaillances pourraient entraîner des pertes humaines ou avoir de graves conséquences sur la sécurité.
Cette exigence s'étend non seulement aux efforts de vérification manuelle, mais aussi à la qualification des outils de vérification des logiciels, telle que régie par la norme DO-330 (Considérations relatives à la qualification des outils logiciels), et s'étend aux suppléments technologiques DO-178C (DO-331, DO-332 et DO-333). Par exemple, la vérification du code objet et l'ingénierie des systèmes basée sur des modèles posent des défis et offrent des opportunités uniques en matière de vérification indépendante.

Cet livre blanc explore le concept d'indépendance de la vérification, qui va au-delà des questions logicielles pour
englober l'assurance des systèmes et du matériel. Il examine en détail les principes, l'intention, les exigences en matière d'orientation, y compris les directives de la FAA AC 20- 115d et de la RTCA DO-248C, les défis et les meilleures pratiques en matière de vérification indépendante dans le développement de logiciels avioniques. Le document explique les mécanismes permettant aux organisations de se conformer à la réglementation et de garantir une assurance logicielle robuste grâce à la mise en œuvre de méthodologies de vérification structurées et indépendantes. Il fournit une analyse complète de la manière dont l'indépendance peut être efficacement obtenue grâce à l'utilisation d'outils qualifiés.