Estándaresde la Industria

Do-178c YEstándaresrelacionados

DO-178C es una actualización del estándar DO-178B y contiene supplement que se relacionan estrechamente con las prácticas actuales de desarrollo y verificación de la industria;您好,您的姓名是:verificación basados en modelos (DO-331)或métodos formales (DO-333)。La cualificación de las herramientas se aborda en DO-330。

MATLABy金宝appSoportan EldiseñoaBasadoen Modelos Para Do-178C Como Se Ilustra AContinuaciónYComose描述了en esta seriedevídeos

Modelar con S金宝appimulink是一种基本的与新装备的关系的模型;具体地说,validación我们需要一个新的系统,也需要一个新的程序。definición我们需要一个新的软件,也需要一个新的程序。código我们需要一个DO-178中级Simulink嵌入式编码器。”金宝app

巴西航空工业公司的罗德里戈·丰特斯·索托(Rodrigo Fontes Souto)

Estándaresrelacionados soportados por las familias de productos de matlab y s金宝appimulink

  • DO-178C:认为清醒的软件在certificación de sistemas y equipos aéreos
  • DO-278A: directrices de garantía de integrgridad del software de los sistemas de communications, navegación, vigilancia y gestión del tráfico aéreo (CNS/ATM)
  • DO-248C: información补语para DO-178C y DO-278A
  • Do-330:Directiones Sobre LaCualificacióndeHerramientasde软件
  • DO-331:补充,清醒的,我们的生活,verificación basados, modelos, para DO-178C和DO-278A
  • DO-332:补充清醒tecnología orientada a objetos y tecnologías relacionadas para DO-178C y DO-278A
  • Do-333:Supleentosobremétodos正式段Para do-178c y do-278a

更有