论文部分内容阅读
中国北京-2011年9月5日-MathWorks在2011b版（R2011b）MATLAB和Simulink产品系列中新引入了Simu—linkCode Inspector，该产品促进了对基于Simulink模型生成的源代码的检查。航空工程师们现在可以使用Simulink Code Inspector来创建详细的模型到代码和代码到模型的检查报告，帮助实现了DO-178B表A-5中规定的源代码验证和可追踪目标。