比尔•波特MathWorks
显示源代码对低级软件需求的遵从性和可追溯性,涵盖了DO-178C中的几个目标。当使用基于模型的设计时,DO-331要求显示源代码对模型的遵从性和可跟踪性。嵌入式编码器®有能力生成符合模型并可跟踪的代码。万博1manbetxSimulink Code I万博1manbetxnspector™支持Simulink的受限子集®, Stateflow®, MATLAB®模型中的功能。在运行代码检查分析之前,有一个兼容性检查器来验证模型是否符合受限制的子集。万博1manbetxSimulink Code Inspector™是一个静态分析工具,用于分析模型和C源代码,以验证功能和结构的等效性。这个分析可以在生成代码后直接从Simulink中的菜单中运行。万博1manbetx万博1manbetxSimulink代码检查器在两个方向上执行验证和跟踪分析。首先,它验证应该生成代码的所有模型元素和构造都具有该代码,并且在功能上是正确的。任何缺失或错误的代码都会在Simulink代码检查器报告中标记出来。万博1manbetx其次,它验证所生成的所有代码都是必需的,并且可以追溯到模型。任何发现的额外代码都会在Simulink代码检查器报告中标记。万博1manbetx在报告中指出发现的任何问题,从而指出出错的代码行,以及与该代码相关的模型元素。 The DO Qualification Kit provides the necessary artifacts to qualify the source code verification and reporting by Simulink Code Inspector.
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。