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

Services

Vidéos, webinars et démonstrations

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