基于AADL和SCADE的模型驱动软件设计

作者：刘芮滦; 邓杨; 龚彬

来源：太赫兹科学与电子信息学报, 2020, 18(06): 1117-1121.

• AADL模型
• SCADE模型
• 模型驱动开发
• 嵌入式系统
• 自动代码生成

模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。

• 单位
  中国工程物理研究院电子工程研究所