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.

Diagramme DO-178C

« 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

Managing Requirements and Traceability

Manage your system requirements with end-to-end traceability:

  • Produce requirements with rich text, images, and all their attributes
  • Review and demonstrate completeness with your objectives
  • Generate the requirement documentation for certification audits
Managing requirements and traceability

Implementing and verifying your design

Implementing and Verifying Your Design

Design an architecture and make implementation choices so that your design is robust and maintainable:


Demonstrating Your Code Quality

Automatize code validation through the Motor Industry Software Reliability Association (MISRA) compliance and formal methods:

  • Check code quality and maintainability by inspecting code with regards to MISRA or CERT-C rules
  • Reduce low-level testing activities leveraging formal methods (DO-333)
Demonstrating your code quality

Testing Your Implementation Based on Requirements

Test and requirements traceability in coverage results.

Testing Your Implementation Based on Requirements

Demonstrate conformance to the requirements regarding functional and technical expectations:


Enabling a Qualified Workflow

“We have the same high level of confidence in the quality of the generated code as in the code created using our traditional manual processes. With Embedded Coder we know we are generating the right code, and with Simulink Code Inspector we can guarantee that it is traceable to the model.”

Jillian Alfred, Bell 525 fly-by-wire control law designer