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

作     者：刘芮滦 邓杨 龚彬 LIU Ruiluan;DENG Yang;GONG Bin

作者机构：中国工程物理研究院电子工程研究所四川绵阳621999 

出 版 物：《太赫兹科学与电子信息学报》 (Journal of Terahertz Science and Electronic Information Technology)

年 卷 期：2020年第18卷第6期

页      码：1117-1121页

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

主 题 词：AADL模型 SCADE模型 模型驱动开发 嵌入式系统 自动代码生成 

学科分类：08[工学] 080401[080401] 081105[081105] 080203[080203] 0804[工学-材料学] 0802[工学-机械学] 0825[工学-环境科学与工程类] 0811[工学-水利类] 

D　O　I：10.11805/TKYDA2019233

馆 藏 号：203100041...