您可以通过运行model Advisor来检查您的模型或子系统是否符合下列标准的选定方面:
ISO 26262:2018道路车辆。功能性安全
ISO 25119:2018农业和林业拖拉机和机械。控制系统的安全相关部件
IEC 61508:2010电气/电子/可编程电子安全相关系统的功能安全
EN 50128:2011铁路设施。通信、信号和处理系统。铁路控制和保护系统用软件
EN 50657: 2017铁路应用程序。车辆的应用。车载车辆软件
IEC 62304:2015医疗设备软件。软件生命周期过程
MISRA - C: 2012关键系统C语言使用指南
为了检查是否符合这些标准,打开Model Advisor然后检查这些文件夹里的支票。
按照任务>ISO 26262建模标准
按照任务>ISO 25119建模标准
按照任务>IEC 61508的建模标准
按照任务>EN 50128/EN 50657的建模标准
按照任务>IEC 62304的建模标准
下表列出了IEC 61508、IEC 62304、ISO 26262、ISO 25119和EN 50128/EN 50657检查。
子文件夹 | 模型顾问检查 |
---|---|
N/A | 显示配置管理数据 |
显示模型度量和复杂性报告 | |
检查未连接的对象 | |
MISRA | 检查缺少的AUTOSAR接收接口错误端口 |
检查不支持的块名称金宝app | |
检查用作总线元素名称的总线对象名称 | |
检查浮点值上的相等和不相等操作 | |
检查有符号整数的位操作 | |
检查整型字长 | |
检查模型函数中是否缺少常量限定符 | |
检查递归函数调用 | |
检查没有默认大小写的开关大小写表达式 | |
错误报告 | 显示IEC认证套件的错误报告(IEC认证工具包) |
为Simulink检查显示bug报告金宝app(IEC认证工具包) | |
显示Simulink覆盖的bug报告金宝app(IEC认证工具包) | |
为Simulink Requirements显示金宝appbug报告(IEC认证工具包) | |
为Simulink设计验证器显示错误报告金宝app(IEC认证工具包) | |
为Simulink测试显示bug报告金宝app(IEC认证工具包) | |
显示嵌入式编码器的错误报告(IEC认证工具包) | |
显示AUTOSAR模块集的错误报告(IEC认证工具包) | |
显示Simulink PLC编码器的错误报告金宝app(IEC认证工具包) | |
显示HDL编码器的错误报告(IEC认证工具包) | |
显示Polyspace bug Finder的bug报告(IEC认证工具包) | |
显示Polyspace bug查找服务器的bug报告(IEC认证工具包) | |
显示Polyspace代码验证程序的错误报告(IEC认证工具包) | |
显示Polyspace代码验证服务器的错误报告(IEC认证工具包) |
以下是适用于IEC 61508、IEC 62304、ISO 26262、ISO 25119、EN 50128和EN 50657标准的高完整性系统建模检查。
您可以通过运行model Advisor来检查您的模型或子系统是否符合高完整性系统模型安全标准的选定方面。
要检查是否符合高完整性系统模型标准,请从以下模型Advisor文件夹中运行高完整性检查:
按照任务>DO-178C/DO-331的建模标准>高完整性系统
按照任务>IEC 61508的建模标准>高完整性系统
按照任务>IEC 62304的建模标准>高完整性系统
按照任务>EN 50128/EN 50657的建模标准>高完整性系统
按照任务>ISO 26262建模标准>高完整性系统
按照任务>ISO 25119建模标准>高完整性系统
有关机载系统和设备认证及相关标准中的高完整性系统模型软件注意事项的信息,请参阅航空无线电技术委员会(RTCA).
该表列出了高完整性系统模型检查及其相应的建模指导方针。有关高完整性建模指南的更多信息,请参见高度集成系统建模.