检查模型合规性 -凯发k8网页登录

验证模型是否符合安全标准和规范

要跨工程和开发团队来应用建模规范，您可以使用模型顾问对模型进行检查。运行检查时，模型顾问会根据检查所指定的条件和配置设置来审核您的模型。

simulink^® check™ 包括模型顾问检查，用于验证是否符合与高完整性系统建模和 mathworks^® 咨询委员会 (mab) 建模规范相关联的安全标准。从check model compliance by using the model advisor开始。

类

	跨模型层次结构运行模型顾问
	管理应用程序

	enable disabled custom edit-time check
	确定编辑时检查是否打开
	check your model interactively against modeling standards

	get exclusion information for a model or a file
	add exclusions to a model or a file
	removes exclusions for a model or a file
	save exclusions to the model or an external file
	load exclusions to a model or a file
	clear all exclusions from a model or a file

check model compliance by using the model advisor
use the model advisor to check that a model or subsystem complies with modeling guidelines or standards.
check model compliance using edit-time checking
use edit-time checking to check that a model or subsystem complies with modeling guidelines or standards.
使用 model advisor configuration editor 来自定义模型顾问检查和文件夹的配置。
generate model advisor reports
configure the model advisor to generate reports in additional formats.
use the model advisor to run checks on a system composer™ architecture model.
you can limit the scope of a model advisor model or subsystem analysis.
justify model advisor violations from check analysis
provide a rationale for why you are allowing a violation to exist in your design.
describes limitations and considerations of model advisor.

使用模型顾问检查模型或子系统是否符合 do-178c 的部分安全标准。
使用模型顾问检查模型或子系统是否符合 do-254 安全标准的部分内容。
使用模型顾问检查模型或子系统是否符合 iec 61508、iec 62304、iso 26262 和 en 50128/en 50657 的部分安全标准。
使用模型顾问检查模型或子系统是否符合高完整性系统模型安全标准的部分内容。
使用模型顾问检查模型或子系统是否符合 mathworks 咨询委员会 (mab) 和日本 matlab^® 汽车咨询委员会 (jmaab) 的建模规范。
基于 misra c:2012 的模型合规性检查
使用模型顾问检查您的模型是否最可能生成符合 misra c:2012 的代码。
model advisor checks for cert c, swe, and iso/iec ts 17961 secure coding standards
use model advisor to check that code complies with cert c, cwe, iso/iec ts 17961 secure coding standards.
使用模型顾问检查模型中的每个需求链接在需求文档中都有一个有效目标。