【摘要】针对实时系统建模与代码生成工具Simulink和SCADE在能力边界、适用场景及生成代码质量方面存在的模糊性问题,开展了对比实证研究。首先,采用模型驱动方法设计并实现了无人机飞行控制系统,并将Simulink和SCADE自动生成的代码部署至无人机平台进行验证;其次,通过多维度指标对比了两者在建模表达与代码生成方面的差异,并利用静态分析工具评估了生成代码的质量;最后,基于实证数据给出了两者的工具选型建议以及指标选择矩阵。结果表明:Simulink在易用性、接口丰富度和代码运行效率方面具有优势,适合快速原型开发与算法验证;而SCADE生成的代码符合DO-178B安全标准,在代码可读性、可靠性及可维护性方面表现更优,适合高安全等级系统的工程实现。
【关键词】模型驱动;代码生成;实时系统;Simulink;SCADE
【作者】胡代金,王楠,程子龙,杨溢龙