来自系列:在DO-178C开发过程中使用合格工具
比尔波特,MathWorks
显示符合低级要求和软件架构的设计标准是DO-178C的目标。使用基于模型的设计时,DO-331需要表现出模拟标准的一致性,当模型用作低级要求和软件架构时。万博1manbetxsimulink.®文档提供了高完整性建模指南和Simulink Check™提供了可根据这些指南自动验证模型的能力。万博1manbetx此检查功能包含在型号范围内设置,代码生成设置,仿真诊断设置,Simulink块,equenfflow万博1manbetx®构造和matlab®块代码。还提供检查以验证模型是否符合Simulink代码Inspector™用于Simulink块,StateFlow构造和MATLAB块代码允许的受约束子集。万博1manbetx这些检查可以直接从Simulink代码检查器UI或Simulink检查UI运行。万博1manbetx将为每个Simulink模型生成指示每个检查的传递/失败的报告。万博1manbetx该报告将指示模型中找到任何不合规的何处。此报告可以以各种格式提供,例如用于长期存档的富文本,单词,HTML或PDF。Do Resefication Kit提供了通过Simulink检查和Simulink代码检查器的自动标准检查和报告的必要工件。万博1manbetx
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。