EstÁndares德拉industria

DO-178C y estándares relacionados

DO-178C是一项实施计划,该计划于178B年开始实施,并由相关部门对实际情况和工业验证进行协调;por Ejempo、desarrollo和verificación basados en modelos(DO-331)和métodos formales(DO-333)。在DO-330中,阿伯达的赫拉米恩塔斯岛上有一座火山。

MATLABY金宝appsoportan el diseño basado en modelos para DO-178C como se ilustra continuación y como请在vídeos目录下描述.

“模型模拟了ARP 475金宝app4新设备的基本要求关系;具体而言,是系统级需求的有效性,以及vuelo DO-178 a级实用软件需求和最终需求的基本要求mediante Simulink y嵌入式编码器。”

巴西航空工业公司罗德里戈·丰特斯·苏托

Estándares relacionados soportados为MATLAB和Simulink的产品的家族金宝app

  • DO-178C:系统和设备认证软件考虑
  • DO-278A:通信系统、纳韦加西翁、维权和电信管理局(CNS/ATM)软件集成管理局
  • DO-248C:补充信息第DO-178C和DO-278A段
  • DO-330:认为人是清醒的,如cualificación de herramientas de software
  • DO-331:DO-178C和DO-278A段模式下的sobre el desarrollo和验证
  • DO-332:DO-178C和DO-278A段所述的对象和技术关系的东方技术支持
  • DO-333:补充清醒métodos formales para DO-178C y DO-278A

普伦萨