模型顾问检查IEC 61508、IEC 62304、ISO 26262、ISO 25119和EN 50128 / EN 50657标准遵从性
你可以检查你的模型或子系统符合下列标准的选择方面通过运行模型顾问:
ISO 26262:2018公路车辆——功能安全
ISO 25119:2018农业和林业拖拉机和机械——安全控制系统的一部分
IEC 61508:2010功能安全的电气/电子/可编程电子安全相关系统
EN 50128:2011铁路应用程序——沟通,为铁路信号和处理系统——软件控制和保护系统
EN 50657: 2017铁路应用程序。车辆的应用。软件车辆
IEC 62304:2015医疗器械软件——软件生命周期过程
MISRA - C: 2012指南的使用C语言的关键系统
检查是否符合这些标准,打开模型顾问在这些文件夹和运行检查。
按照任务>建模标准ISO 26262
按照任务>建模标准ISO 25119
按照任务>建模的IEC 61508标准
按照任务>建模标准EN 50128 / EN 50657
按照任务>建模的IEC 62304标准
表列出了IEC 61508、IEC 62304、ISO 26262、ISO 25119、50128 EN / EN 50657的支票。
子文件夹 | 模型顾问检查 |
---|---|
N /一个 | 显示配置管理数据 |
报告显示模型度量和复杂性 | |
检查无关联的对象 | |
MISRA | 检查疏忽错误港口AUTOSAR接收机接口 |
检查不支持的块的名字 | |
检查总线作为总线元素名称的对象名称 | |
检查平等和不平等操作浮点值 | |
检查按位操作整数签署 | |
检查整字长 | |
检查缺失的常量限定符在模型的功能 | |
检查递归函数调用 | |
检查开关情况表情没有违约情况 | |
错误报告 | 显示IEC认证工具包的bug报告(IEC认证工具包) |
显示仿真软件检查的bug报告(IEC认证工具包) | |
显示仿真软件覆盖的bug报告(IEC认证工具包) | |
显示需求工具箱的bug报告(IEC认证工具包) | |
显示仿真软件设计校验的错误报告(IEC认证工具包) | |
显示仿真软件测试的bug报告(IEC认证工具包) | |
显示嵌入式编码的错误报告(IEC认证工具包) | |
显示AUTOSAR Blockset的bug报告(IEC认证工具包) | |
显示仿真软件PLC编码器的bug报告(IEC认证工具包) | |
显示HDL编码器的bug报告(IEC认证工具包) | |
显示Polyspace错误发现者的bug报告(IEC认证工具包) | |
显示错误报告Polyspace错误发现者服务器(IEC认证工具包) | |
显示错误报告Polyspace代码验证(IEC认证工具包) | |
显示Polyspace代码验证服务器的错误报告(IEC认证工具包) |
以下是高度集成的系统建模检查适用于IEC 61508、IEC 62304、ISO 26262、ISO 25119,在50128年,EN 50657标准。
模型顾问检查高完整性系统建模的指导方针
你可以检查你的模型或子系统符合安全标准高完整性系统模型的选择方面顾问通过运行模型。
检查符合高完整性系统模型的标准,从这些模型高度集成运行检查顾问文件夹:
按照任务>建模标准- 331 - 178 - c /做>高度集成的系统
按照任务>建模的IEC 61508标准>高度集成的系统
按照任务>建模的IEC 62304标准>高度集成的系统
按照任务>建模标准EN 50128 / EN 50657>高度集成的系统
按照任务>建模标准ISO 26262>高度集成的系统
按照任务>建模标准ISO 25119>高度集成的系统
高度集成模型顾问检查系统建模的指导方针
的动态仿真模块®检查™模型造型顾问提供了高度集成系统检查,您可以使用来验证符合安全标准,包括:
- 178 c吗/做- 331
ISO 25119标准(嵌入式编码)
高度集成的系统建模的指导方针和相应的检查表中进行了总结。没有模型的指导顾问检查,不可能自动检查的指导方针。指南指出没有相应的检查不适用。
另请参阅