主要内容
模型检查- 254标准遵从性
你可以检查你的模型或子系统符合做- 254安全标准的选择方面顾问通过运行模型。
检查符合标准,打开模型顾问和运行检查按照任务>建模做- 254标准。
信息做- 254软件考虑机载系统和设备认证和相关标准,明白了航空无线电技术委员会(RTCA)。
下表列出了做- 254的支票。
| - 254做检查 |
|---|
| 显示模型版本信息 |
| 确定残疾人图书馆链接 |
| 确定参数化库链接 |
| 确定解决图书馆链接 |
| 检查模型参考配置不匹配(金宝app仿真软件编码器) |
| 确定需求的链接文件内指定无效的位置(金宝app仿真软件需求) |
| 确定需求与失踪的文件(金宝app仿真软件需求) |
| 确定需求与路径类型与偏好不一致(金宝app仿真软件需求) |
| 确定选取链接描述不匹配他们的需求文档文本(金宝app仿真软件需求) |
以下是高度集成的系统建模检查适用于- 178 c /做- 331标准。
模型检查高完整性系统建模
你可以检查你的模型或子系统符合安全标准高完整性系统模型的选择方面顾问通过运行模型。
检查符合高完整性系统模型的标准,高度集成运行检查按照任务>建模做- 254标准>高度集成的系统
下表列出了高完整性系统模型检查和相应的建模支持做- 254安全标准的指导方针。金宝app更多信息高度集成建模指南,请参阅高度集成系统建模。
HDL代码顾问检查
顾问和顾问的模型检查的HDL代码HDL编码器™验证和更新你的仿真软件金宝app®模型或子系统与HDL代码生成的兼容性。顾问的代码检查:
模型配置设置
港口和子系统的设置
块和块设置
原生浮点支持金宝app
行业标准的指导方针
下表列出了HDL代码支持顾问检查做- 254安全标准:金宝app
| HDL代码顾问检查 | 描述 |
|---|---|
| 检查无限和连续样本时间来源(高密度脂蛋白编码器) | 检查源块连续采样时间。 |
| 检查不支持的块金宝app(高密度脂蛋白编码器) | 检查不支持块HDL代码生金宝app成。 |
| 检查大型矩阵运算(高密度脂蛋白编码器) | 检查大型矩阵运算。 |
| 识别无关的行,输入端口和输出端口 | 检查未连接的线或港口。 |
| 确定残疾人图书馆链接 | 为残疾人图书馆链接搜索模型。 |
| 确定解决图书馆链接 | 搜索模型解决图书馆链接,无法找到指定的库块。 |
| 检查MATLAB功能块的设置(高密度脂蛋白编码器) | 检查设置高密度脂蛋白兼容MATLAB函数块。 |
| 检查Stateflow图表设置(高密度脂蛋白编码器) | 检查HDL Stateflow兼容的设置®图表块。 |
| 检查延迟,延迟单元和零块率过渡 | 识别延迟,单位延迟,或零级举行块用于过渡。这些块替换为实际利率过渡块。 |
| 检查不支持的信号对象的存金宝app储类(高密度脂蛋白编码器) | 检查信号是否对象存储类“ExportedGlobal”或“ImportedExtern”或“ImportedExternPointer” |
| 检查文件扩展名(高密度脂蛋白编码器) | 检查硬件描述语言(VHDL)包含实体的文件的文件扩展名。 |
| 检查命名约定(高密度脂蛋白编码器) | 检查标准的EDA工具所使用的关键字。 |
| 检查顶级子系统/端口名称(高密度脂蛋白编码器) | 检查顶级模块/实体和端口名称。 |
| 止回阀模块/实体名称(高密度脂蛋白编码器) | 止回阀模块/实体名称。 |
| 检查信号和端口名称(高密度脂蛋白编码器) | 检查信号和端口名称的长度。 |
| 检查包的文件名(高密度脂蛋白编码器) | 检查文件名包含包。 |
| 检查泛型(高密度脂蛋白编码器) | 在顶级子系统检查泛型。 |
| 检查时钟、复位,使信号(高密度脂蛋白编码器) | 检查命名约定的时钟,复位,使信号。 |
| 检查建筑的名字(高密度脂蛋白编码器) | 在生成的HDL代码检查硬件描述语言(VHDL)架构的名字。 |
| 检查实体和架构(高密度脂蛋白编码器) | 检查是否描述的硬件描述语言(VHDL)实体和架构是相同的文件。 |
| 检查时钟设置(高密度脂蛋白编码器) | 检查约束在时钟信号。 |
| 检查全局重置设置Xilinx和阿尔特拉设备(高密度脂蛋白编码器) | 为阿尔特拉检查异步复位设置®设备和Xilinx同步复位设置®设备。 |
| 检查内联配置设置(高密度脂蛋白编码器) | 检查一下你是否已经InlineConfigurations启用。 |
| 检查代数循环(高密度脂蛋白编码器) | 检查模型的代数循环。 |
| 检查可视化设置(高密度脂蛋白编码器) | 检查模型显示设置:端口数据类型和样品颜色编码的时间。 |
| 检查延迟平衡设置(高密度脂蛋白编码器) | 检查平衡启用延迟。 |
检查模型参数适合HDL代码生成(高密度脂蛋白编码器) |
检查模型参数设置对HDL代码生成。 |
| 检查双模型与本机浮点数据类型(高密度脂蛋白编码器) | 检查双在模型中数据类型。 |
| 检查数据类型转换块与不兼容的设置(高密度脂蛋白编码器) | 检查数据类型转换的转换模式。 |
| 检查HDL互惠块使用(高密度脂蛋白编码器) | 检查高密度脂蛋白互惠块不使用浮点类型。 |
| 检查使用关系操作符块(高密度脂蛋白编码器) | 检查关系操作符块使用浮点类型逻辑输出。 |
| 检查与本地不支持块浮点金宝app(高密度脂蛋白编码器) | 检查与本地不支持块浮点。金宝app |
| 检查块的非零输出延迟(高密度脂蛋白编码器) | 检查块与本机浮点零输出延迟。 |
| 检查与非零块ulp错误(高密度脂蛋白编码器) | 检查块的非零ulp误差与本机浮点。 |
| 检查模型中单一数据类型(高密度脂蛋白编码器) | 检查单在模型中数据类型。 |
| 检查初始条件和触发子系统启用(高密度脂蛋白编码器) | 检查启用并触发子系统的初始条件。 |
| 检查无效的顶级子系统(高密度脂蛋白编码器) | 检查子系统不能在顶层HDL代码生成。 |
