遵从DO-254标准的模型检查
您可以通过运行model Advisor来检查您的模型或子系统是否符合DO-254安全标准的选定方面。
为检查是否符合DO标准,打开模型顾问器然后进行检查按照任务>DO-254建模标准.
有关机载系统和设备认证中的DO-254软件注意事项及相关标准的信息,请参见航空无线电技术委员会(RTCA).
下表列出了DO-254检查。
- 254做检查 |
---|
显示型号版本信息 |
识别禁用的库链接 |
识别参数化的库链接 |
识别未解决的库链接 |
检查模型参考配置不匹配(仿真软件编码器) |
识别在文档中指定无效位置的需求链接(需求工具箱) |
识别缺少文档的需求链接(需求工具箱) |
识别路径类型与首选项不一致的需求链接(需求工具箱) |
识别具有与其需求文档文本不匹配的描述的基于选择的链接(需求工具箱) |
高完整性系统建模的模型检查
您可以通过运行model Advisor来检查您的模型或子系统是否符合高完整性系统模型安全标准的选定方面。
要检查对高完整性系统模型标准的遵从性,从运行高完整性检查按照任务>DO-254建模标准>高度集成的系统
下表列出了支持DO-254安全标准的高完整性系统模型检查及其相应的建模指南。有关高完整性建模指南的更多信息,请参见高完整性系统建模.
HDL代码顾问检查
HDL代码顾问和模型顾问检查HDL Coder™验证和更新您的Simulink®与HDL代码生成兼容的模型或子系统。代码顾问有检查:
模型配置设置
端口和子系统设置
块和块设置
本地浮点支持
行业标准指南
下表列出了DO-254安全标准支持的HDL代码顾问检查:
HDL代码顾问检查 | 描述 |
---|---|
检查无限和连续的采样时间源(高密度脂蛋白编码器) | 用连续采样时间检查源块。 |
检查不支持的块(高密度脂蛋白编码器) | 检查生成HDL代码时不支持的块。 |
检查大型矩阵操作(高密度脂蛋白编码器) | 检查大型矩阵操作。 |
识别未连接的线路、输入端口和输出端口 | 检查未连接的线路或端口。 |
识别禁用的库链接 | 禁用库链接的搜索模型。 |
识别未解决的库链接 | 在模型中搜索无法解析的库链接,其中无法找到指定的库块。 |
检查MATLAB函数块设置(高密度脂蛋白编码器) | 检查HDL兼容设置MATLAB函数块。 |
检查状态流程图设置(高密度脂蛋白编码器) | 检查状态流的HDL兼容设置®图表块。 |
检查延迟,单位延迟和零顺序保持块的速率转换 | 识别延迟,单位延迟,或零级举行用于速率转换的块。用实际的速率转换块替换这些块。 |
检查信号对象不支持的存储类(高密度脂蛋白编码器) | 检查信号对象存储类是否为“ExportedGlobal” 或“ImportedExtern” 或“ImportedExternPointer” |
检查文件扩展名(高密度脂蛋白编码器) | 检查包含实体的VHDL文件的文件扩展名。 |
检查命名约定(高密度脂蛋白编码器) | 检查EDA工具使用的标准关键字。 |
检查顶级子系统/端口名称(高密度脂蛋白编码器) | 检查顶级模块/实体和端口名称。 |
检查模块/实体名称(高密度脂蛋白编码器) | 检查模块/实体名称。 |
检查信号和端口名称(高密度脂蛋白编码器) | 检查信号和端口名称长度。 |
检查包文件名(高密度脂蛋白编码器) | 检查包含包的文件名。 |
检查泛型(高密度脂蛋白编码器) | 检查顶层子系统的泛型。 |
检查时钟,复位,并使能信号(高密度脂蛋白编码器) | 检查时钟、复位和使能信号的命名约定。 |
检查体系结构名称(高密度脂蛋白编码器) | 在生成的HDL代码中检查VHDL体系结构名称。 |
检查实体和体系结构(高密度脂蛋白编码器) | 检查VHDL实体和体系结构是否在同一个文件中描述。 |
检查时钟设置(高密度脂蛋白编码器) | 检查时钟信号约束。 |
检查Xilinx和Altera设备的全局重置设置(高密度脂蛋白编码器) | 检查Altera的异步复位设置®Xilinx的同步复位设置®设备。 |
检查内联配置设置(高密度脂蛋白编码器) | 检查你是否有InlineConfigurations 启用。 |
检查代数循环(高密度脂蛋白编码器) | 检查模型的代数循环。 |
检查可视化设置(高密度脂蛋白编码器) | 检查模型显示设置:端口数据类型和采样时间颜色编码。 |
检查延迟平衡设置(高密度脂蛋白编码器) | 启用“检查余额延迟”。 |
检查适合于HDL代码生成的模型参数(高密度脂蛋白编码器) |
检查为HDL代码生成设置的模型参数。 |
使用本机浮点数检查模型中的双数据类型(高密度脂蛋白编码器) | 检查双 模型中的数据类型。 |
检查设置不兼容的数据类型转换块(高密度脂蛋白编码器) | 检查数据类型转换块的转换模式。 |
检查HDL互惠块的使用情况(高密度脂蛋白编码器) | 检查高密度脂蛋白互惠块不使用浮点类型。 |
检查关系操作符块的使用情况(高密度脂蛋白编码器) | 检查关系操作符使用浮点类型的块具有布尔输出。 |
使用本机浮点数检查不支持的块(高密度脂蛋白编码器) | 检查本机浮点不支持的块。 |
检查是否有非零输出延迟的块(高密度脂蛋白编码器) | 检查带有原生浮点的非零输出延迟的块。 |
检查具有非零ULP错误的块(高密度脂蛋白编码器) | 检查带有本地浮点的ULP错误非零的块。 |
检查模型中的单个数据类型(高密度脂蛋白编码器) | 检查单 模型中的数据类型。 |
检查顶层子系统是否无效(高密度脂蛋白编码器) | 检查那些不能在顶层生成HDL代码的子系统。 |