Table des matières
25 relations: Analyse des risques, ARINC 653, Consensus, Couverture de code, DAL, DO-200A, DO-254, Esterel Technologies, Exigence (ingénierie), LDRA, Lustre (langage), Lynx Software Technologies, LynxOS, Méthode B, MC/DC, Organisation européenne pour l'équipement de l'aviation civile, PikeOS, Presagis, Règles de codage, Reqtify, Sûreté de fonctionnement des logiciels aérospatiaux, Système critique, TAI Aksungur, Testwell CTC++, TPT (logiciel).
Analyse des risques
Une analyse de risques est utilisée comme première étape d'un processus d'évaluation des risques.
Voir DO-178 et Analyse des risques
ARINC 653
ARINC 653 est un standard de partitionnement temporel et spatial de ressources informatiques.
Voir DO-178 et ARINC 653
Consensus
Un consensus est un accord des volontés sans aucune opposition formelle.
Voir DO-178 et Consensus
Couverture de code
En génie logiciel, la couverture de code est une mesure utilisée pour décrire le taux de code source exécuté d'un programme quand une suite de test est lancée.
Voir DO-178 et Couverture de code
DAL
DAL est un sigle qui peut signifier.
Voir DO-178 et DAL
DO-200A
Récemment, le nombre de systèmes (et équipements) logiciels utilisés par les applications aéronautiques a augmenté rapidement pour atteindre les objectifs industriels.
Voir DO-178 et DO-200A
DO-254
Le standard RTCA DO-254/Eurocae ED-80 "DESIGN ASSURANCE GUIDANCE FOR AIRBORNE ELECTRONIC HARDWARE" a été développé en commun et édité respectivement par RTCA|RTCA Inc.
Voir DO-178 et DO-254
Esterel Technologies
Esterel Technologies est une entreprise active de 2000 à 2018, principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèle, dans les industries aérospatiale, de défense, du transport ferroviaire et de l'énergie.
Voir DO-178 et Esterel Technologies
Exigence (ingénierie)
Une est, dans le domaine de l'ingénierie, un besoin, une nécessité, une attente auquel un produit ou un service doit répondre ou une contrainte qu'il doit satisfaire.
Voir DO-178 et Exigence (ingénierie)
LDRA
(LDRA) est une entreprise anglaise et concepteur d'une suite d'outils éponyme d'aide au développement logiciel, permettant l'analyse statique et l'analyse dynamique de code source, la traçabilité des exigences et l'automatisation des tests unitaires et d'intégration.
Voir DO-178 et LDRA
Lustre (langage)
Lustre est un langage de programmation synchrone, déclaratif, et par flots.
Voir DO-178 et Lustre (langage)
Lynx Software Technologies
Lynx Software Technologies est une entreprise produisant des systèmes d'exploitation et des outils de développement de systèmes embarqués.
Voir DO-178 et Lynx Software Technologies
LynxOS
LynxOS est un système d'exploitation temps réel, propriétaire et de style Unix de la société LynuxWorks pour systèmes embarqués.
Voir DO-178 et LynxOS
Méthode B
La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel.
Voir DO-178 et Méthode B
MC/DC
La (MC/DC - couverture condition / décision modifiée) est utilisée par la norme DO-178B afin d'assurer qu'un logiciel aéronautique de DAL A (niveau logiciel le plus élevé de cette norme: conséquences catastrophiques en cas de dysfonctionnement) est testé de manière adéquate.
Voir DO-178 et MC/DC
Organisation européenne pour l'équipement de l'aviation civile
L'Organisation européenne pour l'équipement de l'aviation civile (en langue anglaise: EUROCAE, acronyme de EURopean Organisation for Civil Aviation Equipment) est un organisme européen qui fédère les acteurs du domaine de l'aviation civile afin d'établir des règles de standardisation des systèmes utilisés par l'aviation civile en Europe.
Voir DO-178 et Organisation européenne pour l'équipement de l'aviation civile
PikeOS
PikeOS est un système d'exploitation temps réel (RTOS) basé sur un noyau de séparation offrant une fonctionnalité d’hyperviseur avec plusieurs types de partition pour de nombreux autres systèmes d'exploitation (appelés GuestOS) et applications.
Voir DO-178 et PikeOS
Presagis
Presagis est un éditeur de logiciels COTS dans le domaine de la modélisation 3D, simulation, et des interfaces homme-machine (IHM) embarquées.
Voir DO-178 et Presagis
Règles de codage
Exemple de code avec le langage de programmation Bash Les règles de codage sont un ensemble de règles à suivre pour uniformiser les pratiques de développement logiciel, diffuser les bonnes pratiques de développement et éviter les erreurs de développement "classiques" au sein d'un groupe de développeurs.
Voir DO-178 et Règles de codage
Reqtify
Reqtify est un outil de gestion de la traçabilité des exigences et de l'analyse d'impact.
Voir DO-178 et Reqtify
Sûreté de fonctionnement des logiciels aérospatiaux
La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique.
Voir DO-178 et Sûreté de fonctionnement des logiciels aérospatiaux
Système critique
Un système critique est un système dont la panne peut avoir des conséquences dramatiques, comme des morts ou des blessés graves, des dégâts matériels importants, ou des conséquences graves pour l'environnement.
Voir DO-178 et Système critique
TAI Aksungur
Le TAI Aksungur est un drone de combat d'altitude de croisière moyenne et de longue autonomie (MALE) en cours de développement par Turkish Aerospace Industries (TAI).
Testwell CTC++
Testwell CTC++ Test Coverage Analyzer for C and C++ est un outil de couverture de test (engl. Code Coverage ou Test Coverage) pour les projets en C et C++.
TPT (logiciel)
TPT (Time Partition Testing) est un outil de programmation et une méthode pour faciliter les tests logiciels automatisės ou pour la vėrification de systèmes embarqués.
Également connu sous le nom de DO-178B, DO-178C, DO178B, ED-12, ED-12B, ED-12C.