来自系列:在DO-178C开发过程中使用合格工具
比尔波特,MathWorks
显示源代码的合规性和可追溯性,以低级软件要求涵盖DO-178C中的几个目标。使用基于模型的设计时,DO-331需要向模型显示源代码的合规性和可追溯性。嵌入式编码器®具有生成符合和可追溯到该模型的代码的功能。金宝appSimulink代码Inspector™金宝app支持Simulink的受限子集®,stateflow.®和matlab.®模型中的功能。在运行代码检查分析之前,有一个兼容性检查器来验证模型是否符合受限制的子集。金宝appSimulink Code Inspector™是一个静态分析工具,用于分析模型和C源代码,以验证功能和结构的等价性。该分析可以在代码生成后直接从Simulink中的菜单中运行。金宝app金宝appSimulink Code Inspector在两个方向上执行验证和可追溯性分析。首先,它验证应该生成代码的所有模型元素和构造确实具有该代码,并且它在功能上是正确的。任何缺失或不正确的代码都会在Simulink代码检查器报告中被标记。金宝app其次,它验证生成的所有代码都是必需的,并且可以追溯到模型。发现的任何额外代码都会在Simulink代码检查器报告中标记。金宝app发现的任何问题都会在报告中指出,从而指出出错的代码行,以及与该代码相关的模型元素。 The DO Qualification Kit provides the necessary artifacts to qualify the source code verification and reporting by Simulink Code Inspector.
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。