%0 Journal Article %T 基于AADL和SCADE的模型驱动软件设计 %T Model driven software development based on AADL and SCADE %A 刘芮滦,邓 杨,龚 彬 %A LIU,Ruiluan %A DENG,Yang %A GONG,Bin %J 太赫兹科学与电子信息学报 %J Journal of Terahertz Science and Electronic Information %@ 2095-4980 %V 18 %N 6 %D 2020 %P 1117-1121 %K AADL模型;SCADE模型;模型驱动开发;嵌入式系统;自动代码生成 %K AADL;SCADE;model-driven design;embedded system;auto code generation %X 模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。 %X Model-driven design has been used in embedded system software design. The software architecture model and detailed functional model are the focuses in the software design stage. There are many languages and tools for the embedded system software modeling. The architecture of embedded software can be built by the Architectural Analysis and Design Language(AADL) model, and the logic function of embedded software can be described by the Safety Critical Application Development Environment(SCADE) model. The integration of the two models can meet the modeling requirements of outline design and detailed design of embedded software. AADL and SCADE are adopted to model the architecture and function of the software of an aircraft control system, KCG tool is utilized to auto generate C code from SCADE model, and the aircraft control system software is partly designed through the integration of handmade and auto-generated codes. Actual application indicates that AADL associated with SCADE is suitable for model-driven design applied in the embedded software design. %R 10.11805/TKYDA2019233 %U http://www.iaeej.com/xxydzgc/home %1 JIS Version 3.0.0