文章检索

  • 检索
  • 检索词:
  • 高级检索
您是今天第 1764位访问者
您是第 7258593 位访问者
引用本文:
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 716次   下载 497 本文二维码信息
码上扫一扫!
分享到: 微信 更多
基于AADL和SCADE的模型驱动软件设计
刘芮滦, 邓 杨, 龚 彬
中国工程物理研究院 电子工程研究所,四川 绵阳 621999
摘要:
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。
关键词:  AADL模型  SCADE模型  模型驱动开发  嵌入式系统  自动代码生成
DOI:10.11805/TKYDA2019233
分类号:
基金项目:
Model driven software development based on AADL and SCADE
LIU Ruiluan, DENG Yang, GONG Bin
Institute of Electronic Engineering,China Academy of Engineering Physics,Mianyang Sichuan 621999,China
Abstract:
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.
Key words:  AADL  SCADE  model-driven design  embedded system  auto code generation

分享按钮