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