从系列:Using Qualified Tools in a DO-178C Development Process
Showing compliance and traceability of the source code to low-level software requirements cover several objectives in DO-178C. When using Model-Based Design, DO-331 requires showing compliance and traceability of the source code to the model. Embedded Coder®has the capability to generate code that complies with and is traceable to the model. Simulink Code Inspector™ supports a restricted subset of Simulink®, Stateflow®, and MATLAB®模型中的功能。在运行代码检查分析之前,有一个兼容性检查器可以验证该模型是否符合限制子集。金宝appSimulink Code Insportor™是一种静态分析工具,用于分析模型和C源代码以验证功能和结构等效性。该分析可以在代码生成后直接从Simulink的菜单中运行。金宝app金宝appSimulink Code Insportor在两个方向上执行验证和可追溯性分析。首先,它验证了应生成代码的所有模型元素和构造确实具有该代码,并且在功能上是正确的。Simulink Code Inspector报告中标记了任何丢失或不正确的代码。金宝app其次,它验证了所需的所有代码都是必需的,并且可以追溯到模型。Simulink Code Inspector报告中标记了发现的任何额外代码。金宝app报告中指示的任何问题都显示出错误的代码行,以及与该代码相关的模型元素。 The DO Qualification Kit provides the necessary artifacts to qualify the source code verification and reporting by Simulink Code Inspector.
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select:.
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.