行业标准
DO-254
的DO-254标准定义的一组硬件目标被认证为在机载系统中使用。据DO-178,飞行软件认证相当于标准建模。与DO-178,满足DO-254的目标可以是昂贵的和耗时的由于几个过程:
- 需求管理和跟踪
- 符合设计标准
- 验证和确认
使用基于模型的设计,工程师能够满足DO-254目标,同时实现了与要求提前验证相关的成本和时间,以市场效益,自动链接到需求,模型和代码标准检查,代码生成,报告工件生成和测试案例重用。
MATLAB®,万博1manbetx®和HDL编码器™万博1manbetx支持涉及基于模型的设计DO-254重点发展活动。
更多产品支持的重要验证s manbetx 845任务万博1manbetx
- 万博1manbetxSimulink的要求™让你创作,分析,并在Simulink的管理需求。万博1manbetx万博1manbetxSimulink的检查™提供业界公认的检查,并在开发过程中确定的标准和指南的侵犯指标。万博1manbetxSimulink的测试™和万博1manbetxSimulink的覆盖™进行模型验证,包括模型覆盖分析。
- HDL验证™验证的Verilog®和VHDL®使用HDL仿真和FPGA硬件在所述循环代码。
- 万博1manbetxSimulink的报告生成器™文档模型和测试结果。
- DO资格套件能够在基于模型的设计中使用这些和其他验证工具工具资格。
MathWorks的万博1manbetx支持DO-254
-
基于模型的设计DO-254(1点03分06秒)- 网络研讨会
-
请求一套完整的DO-254的建议- 技术支援万博1manbetx
-
HDL代码生成和验证- 产品性能
-
FPGA设计- 应用