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