您可以通过运行模型顾问来检查您的模型或子系统是否符合DO-178C安全标准的选定方面。
检查是否符合DO标准,打开模型顾问然后运行检查通过任务>DO-178C/DO-331的建模标准。
该表列出了DO-178C/DO-331的检查。
子文件夹 | 模型顾问检查 |
---|---|
N / A. | 显示型号版本信息 |
臭马克拉 | 检查AutoSar Receiver接口的缺失错误端口 |
检查不支持的块名称金宝app | |
检查用作总线元素名称的总线对象名称 | |
检查浮点值的平等和不等式操作 | |
检查签名整数上的按位操作 | |
检查整数字长度 | |
检查模型函数中是否缺少const限定符 | |
检查递归函数调用 | |
在没有默认情况下检查切换盒式表达式 | |
错误报告 | 显示DO确认套件的bug报告(做资格套件) |
显示Simulink检查的错误报告金宝app(做资格套件) | |
显示Simulink覆盖的bug报告金宝app(做资格套件) | |
显示Simulink要求的错误报告金宝app(做资格套件) | |
显示Simulink代码检查器的错误报告金宝app(做资格套件) | |
显示Simulink报告生成器的错误报告金宝app(做资格套件) | |
为Simulink显示错误报告金宝app(做资格套件) | |
为Simulink测试显示bug报告金宝app(做资格套件) | |
显示Simulink设计验证程序的错误报告金宝app(做资格套件) | |
显示嵌入式编码器的错误报告(做资格套件) | |
显示PolySpace Bug Finder的错误报告(做资格套件) | |
显示PolySpace Bug Finder Server的错误报告(做资格套件) | |
显示PolySpace代码抄本的错误报告(做资格套件) | |
显示Polyspace代码验证服务器的错误报告(做资格套件) |
以下是适用于DO-178C/DO-331标准的高完整性系统建模检查。
您可以通过运行模型顾问来检查您的模型或子系统是否符合高完整性系统模型安全标准的选定方面。
要检查符合高完整性系统模型标准,请从这些模型顾问文件夹运行高完整性检查:
通过任务>DO-178C/DO-331的建模标准>高度集成的系统
通过任务>IEC 61508的建模标准>高度集成的系统
通过任务>IEC 62304的建模标准>高度集成的系统
通过任务>EN 50128 / EN 50657的建模标准>高度集成的系统
通过任务>ISO 26262建模标准>高度集成的系统
通过任务>ISO 25119的建模标准>高度集成的系统
有关机载系统和设备认证中的高完整性系统模型软件考虑和相关标准的信息,请参见航空无线电技术委员会(RTCA)。
该表列出了高完整性系统模型检查及其相应的建模指南。有关高完整性建模指南的更多信息,请参阅高完整性系统建模。