ESTÁNDARES DE LA INDUSTRIA

DO-178C

Diseño basado en modelos para la certificación de sistemas de aviación

El estándar DO-178C define un conjunto de objetivos para certificar software de sistemas de aviación. Puede reducir los riesgos y el esfuerzo con un enfoque de verificación que permite cumplir con los objetivos de DO-178C:

  • Realice iteraciones de requisitos del sistema y perfecciónelos creando una especificación ejecutable
  • Defina la arquitectura y confirme las opciones de diseño para conseguir solidez y mantenibilidad aprovechando el modelado y la simulación
  • Compruebe la cobertura de código y ejecutables a través de pruebas consecutivas y trazabilidad de extremo a extremo, desde requisitos hasta pruebas
  • Automatice actividades de revisión de modelos y código
  • Reduzca las actividades de pruebas empleando métodos formales

Gestión de requisitos y trazabilidad

Gestione los requisitos del sistema con trazabilidad de extremo a extremo:

  • Genere requisitos con texto enriquecido, imágenes y todos sus atributos
  • Revise y compruebe la integridad de los objetivos
  • Genere la documentación requerida para auditorías de certificación
Gestión de requisitos y trazabilidad

Implementación y verificación del diseño

Implementación y verificación del diseño

Diseñe la arquitectura y tome decisiones de implementación para lograr un diseño sólido y mantenible:


Comprobación de la calidad del código

Automatice la validación de código mediante la conformidad con MISRA (Motor Industry Software Reliability Association) y métodos formales:

  • Inspeccione el código con respecto a las reglas MISRA o CERT-C para comprobar su calidad y mantenibilidad.
  • Reduzca las actividades de pruebas de bajo nivel recurriendo a métodos formales (DO-333)
Comprobación de la calidad del código

Prueba de implementación basada en requisitos

Trazabilidad de pruebas y requisitos en resultados de cobertura.

Prueba de implementación basada en requisitos

Compruebe la conformidad con los requisitos funcionales y técnicos:


Flujo de trabajo con generación de código calificado

“Tenemos la misma confianza en la calidad del código generado que en el código creado con nuestros procesos manuales tradicionales. Con Embedded Coder, tenemos garantía de que el código generando es correcto, y de que es rastreable hasta el modelo con Simulink Code Inspector”.

Jillian Alfred, diseñadora de leyes de control fly-by-wire del helicóptero Bell 525