Simulink Code Inspector加强了MathWorks对DO-178认证的支持

Simulink Code Inspector加强了MathWorks对DO-178认证的支持

日前，MathWorks在2011b版 (R2011b)MATLAB和Simulink产品系列中新引入了Simulink Code Inspector，该产品促进了对基于Simulink模型生成的源代码的检查。航空工程师们现在可以使用Simulink Code Inspector来创建详细的模型到代码和代码到模型的检查报告，实现DO-178B表 A-5中规定的源代码验证和可追踪目标。

传统上，根据需求验证代码是一个耗时且容易出错的过程，它要求根据项目检查表手动逐行检查代码。而Simulink Code Inspector是使用自动化过程根据模型来验证生成的代码结构。该过程基于所生成代码中的运算、运算符和数据，系统性地比较模型中使用的功能块、参数和设置，从而检查结构等同性。

Simulink Code Inspector也会生成验证和可追踪性报告，这些报告可以进行查看、存档并与认证机构共享，可极大缩减验证时间和成本。通过Simulink Code Inspector，工程师们可以通过使用高完整性系统中所常用的Simulink功能块和模型参数的特定子集来准备代码检查的模型。接着，他们可以根据模型生成并检查代码，并审核检查和可追踪性报告。

用于系统设计与仿真的 Simulink、用于生成飞行代码的Embedded Coder以及用于检查源代码的 Simulink Code Inspector，这3个产品的结合为航空工程师们提供了一个适用于基于模型的设计和 DO-178开发和验证的高度自动化和灵活的环境。