NORMES DE L'INDUSTRIE
DO-178C et normes connexes
DO-178C est une révision de la norme DO-178B et comprend des suppléments étroitement corrélés aux pratiques actuelles de développement et de vérification dans l'industrie, notamment : « Model-Based Development and Verification » (DO-331) et « Formal Methods » (DO-333). La qualification des outils est abordée dans le DO-330.
MATLAB et Simulink supportent le Model-Based Design pour le DO-178C comme indiqué sur le schéma ci-dessous et comme décrit dans cette série de vidéos.
« La modélisation avec Simulink est essentielle pour les tâches associées à la norme ARP 4754, en particulier la validation des exigences au niveau du système, le développement de tests basés sur les exigences et la définition d'exigences logicielles de bas niveau que notre fournisseur utilise pour générer du code pour l'avionique conforme à la norme DO-178 DAL A à l'aide de Simulink et d'Embedded Coder. »
Rodrigo Fontes Souto, Embraer
Norme DO-178 avec MATLAB et Simulink
Produits
- Simulink, Simulink Test, Simulink Check et Simulink Coverage pour la vérification qualifiée de modèles
- Embedded Coder et Simulink Code Inspector pour la génération de code qualifié
- Polyspace Bug Finder et Polyspace Code Prover pour une analyse formelle qualifiée
- Simulink Design Verifier et Simulink Coverage pour la génération de test qualifié
- Simulink Test pour le test qualifié de logiciels
- Simulink Coverage pour une analyse qualifiée de la couverture de code
- Simulink Requirements et Simulink Report Generator pour la traçabilité et la documentation
- DO Qualification Kit pour la qualification des outils
Services
Vidéos, webinars et démonstrations
- Vérification en cours d'édition pour identifier les problèmes de conformité plus tôt (1:28)
- Utiliser des outils qualifiés dans un processus de développement DO-178C (11 vidéos)
- Simulink pour le développement d’un logiciel avionique DO-178 (35:24)
- Model-Based Design pour le développement de logiciels DO-178C avec les outils MathWorks (9 vidéos)
- Le Ministère de la Défense américain et le DO-178C (7:01)
- Étude de cas DO-178 (File Exchange)
Normes connexes supportées par les familles de produits MATLAB et Simulink
- DO-178C, « Software Considerations in Airborne Systems and Equipment Certification »
- DO-278A, « Guidelines for Communications, Navigation, Surveillance, and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance »
- DO-248C, « Supporting Information for DO-178C and DO-278A »
- DO-330, « Software Tool Qualification Considerations »
- DO-331, « Model-Based Development and Verification Supplement to DO-178C and DO-278A »
- DO-332, « Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A »
- DO-333, « Formal Methods Supplement to DO-178C and DO-278A »
Communiqués de presse
Témoignages d'utilisateurs
- Embraer accélère le prototypage et la définition des exigences du système de commandes de vol du Legacy 500
- Bell Helicopter met au point le premier hélicoptère commercial à commande de vol électrique
- BAE Systems livre un logiciel avionique DO-178B DAL A dans les temps grâce à l'approche Model-Based Design
- Israel Aerospace Industries développe un logiciel certifié DO-178 DAL B pour un tracteur d'avion électrique hybride
- Alenia Aermacchi développe un logiciel de pilotage automatique pour la certification DO-178B DAL A
- National Aerospace Laboratories démontre les avantages du Model-Based Design pour le développement de logiciel avionique DO-178B
- Airbus Helicopters accélère le développement de logiciels certifiés DO-178B grâce au Model-Based Design
- Airbus développe un système de gestion du carburant pour l'A380 avec le Model-Based Design
- Honeywell réduit ses phases de design de 60 %
- Korea Aerospace Industries développe un logiciel pour un système de contrôle actif des vibrations pour les hélicoptères conforme au DO-178C
- Rolls-Royce : notre parcours vers des lignes de produits utilisant l’approche Model-Based Design
Vous avez des questions ?
Contactez un expert du secteur
