Temps de lecture : 3 minutes
Il existe plusieurs normes et autres documents destinés à être utilisés collectivement dans le développement de systèmes logiciels applicables aux systèmes avioniques civils.
DO-178C et DO-278A/ED-109
DO-278A Lignes directrices pour l'assurance de l'intégrité des logiciels des systèmes de communication, de navigation, de surveillance et de gestion du trafic aérien (CNS/ATM).
Le DO-278A a un objectif similaire pour les systèmes au sol à celui du DO-178C pour les systèmes aéroportés, et a été développé en parallèle. En conséquence, environ 75 % d’entre eux sont similaires.
Le DO-278A a un objectif similaire pour les systèmes au sol à celui du DO-178C pour les systèmes aéroportés, et a été développé en parallèle. En conséquence, environ 75 % d’entre eux sont similaires.
DO-178C et DO-330/ED-215
DO-330 Considérations sur les qualifications des outils logiciels.
La « qualification d'outils » est un terme générique pour décrire un processus conçu pour garantir que le risque qu'une erreur d'outil ayant un impact sur la sécurité d'un système soit suffisamment faible – soit parce que les erreurs sont peu nombreuses, soit parce qu'elles ne peuvent pas avoir d'impact sur la sécurité. DO-330 fournit la qualification des outils à utiliser pour atteindre les objectifs décrits dans DO-178C et DO-278A, y compris les outils de vérification. Il est également conçu pour être utilisé dans d'autres domaines contrairement aux autres documents complémentaires DO-332 et DO-333.
La « qualification d'outils » est un terme générique pour décrire un processus conçu pour garantir que le risque qu'une erreur d'outil ayant un impact sur la sécurité d'un système soit suffisamment faible – soit parce que les erreurs sont peu nombreuses, soit parce qu'elles ne peuvent pas avoir d'impact sur la sécurité. DO-330 fournit la qualification des outils à utiliser pour atteindre les objectifs décrits dans DO-178C et DO-278A, y compris les outils de vérification. Il est également conçu pour être utilisé dans d'autres domaines contrairement aux autres documents complémentaires DO-332 et DO-333.
DO-178C et DO-332/ED-217
DO-332 « La technologie orientée objet et les technologies associées complètent le DO-178C et le DO-278A ».
DO-332 complète DO-178C et DO-278A et comprend des objectifs supplémentaires qui s'appliquent lors de l'utilisation de la programmation orientée objet et de pratiques complémentaires. Il fournit également des conseils sur la manière dont les objectifs du DO-178C doivent être abordés dans l'environnement orienté objet (OO).
DO-332 complète DO-178C et DO-278A et comprend des objectifs supplémentaires qui s'appliquent lors de l'utilisation de la programmation orientée objet et de pratiques complémentaires. Il fournit également des conseils sur la manière dont les objectifs du DO-178C doivent être abordés dans l'environnement orienté objet (OO).
DO-178C et DO-333/ED-218
DO-333 « Supplément de méthodes formelles aux DO-178C et DO-278A ».
DO-333 complète DO-178C et DO-278A et identifie des objectifs supplémentaires qui s'appliquent lors de l'utilisation de méthodes formelles dans le cadre d'un cycle de vie logiciel. Il fournit également des conseils sur la manière dont les objectifs du DO-178C doivent être abordés lorsque des méthodes formelles sont appliquées.
DO-333 complète DO-178C et DO-278A et identifie des objectifs supplémentaires qui s'appliquent lors de l'utilisation de méthodes formelles dans le cadre d'un cycle de vie logiciel. Il fournit également des conseils sur la manière dont les objectifs du DO-178C doivent être abordés lorsque des méthodes formelles sont appliquées.
DO-178C, CAST-32A et A(M)C 20-193
CAST-32A était un document de position relatif aux processeurs multicœurs (MCP), rédigé par l'équipe logicielle des autorités de certification (CAST). Les processeurs multicœurs constituent un défi relativement nouveau dans le monde de l'aviation civile, et cet article décrit un ensemble d'objectifs à atteindre lorsque de tels dispositifs sont sélectionnés pour être utilisés dans un projet conforme à la DO-178C. Bien que les documents CAST ne constituent pas des lignes directrices officielles, ils font autorité et leurs conseils sont souvent adoptés avant même d'être formellement intégrés dans les normes publiées ultérieurement.
CAST-32A est obsolète pour les projets sous la juridiction de l'AESA et devrait le devenir bientôt pour ceux supervisés par la FAA. Ses recommandations relatives aux processeurs multicœurs sont intégrées dans les normes harmonisées EASA AMC 20-193 et FAA AC 20-193 connues collectivement sous le nom d'A(M)C 20-193. Les conseils et orientations contenus dans ces documents sont conçus pour compléter le DO-178C et d'autres normes connexes telles que le DO-278A.
La suite d'outils LDRA prend en charge l'utilisation de MCP, ce qui pose de nombreux défis associés aux chemins d'interférence et à leur impact potentiel sur le timing d'exécution dans le pire des cas (WCET).
CAST-32A est obsolète pour les projets sous la juridiction de l'AESA et devrait le devenir bientôt pour ceux supervisés par la FAA. Ses recommandations relatives aux processeurs multicœurs sont intégrées dans les normes harmonisées EASA AMC 20-193 et FAA AC 20-193 connues collectivement sous le nom d'A(M)C 20-193. Les conseils et orientations contenus dans ces documents sont conçus pour compléter le DO-178C et d'autres normes connexes telles que le DO-278A.
La suite d'outils LDRA prend en charge l'utilisation de MCP, ce qui pose de nombreux défis associés aux chemins d'interférence et à leur impact potentiel sur le timing d'exécution dans le pire des cas (WCET).