[1]王文全,宋科璞,王勇,等.基于模型驱动的机载嵌入式软件应用[J].计算机技术与发展,2013,(08):145-148.
 WANG Wen-quan,SONG Ke-pu,WANG Yong,et al.Airborne Embedded Software Application Based on MDA[J].,2013,(08):145-148.
点击复制

基于模型驱动的机载嵌入式软件应用()
分享到:

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年08期
页码:
145-148
栏目:
应用开发研究
出版日期:
1900-01-01

文章信息/Info

Title:
Airborne Embedded Software Application Based on MDA
文章编号:
1673-629X(2013)08-0145-04
作者:
王文全宋科璞王勇谢卫
飞行自动控制研究所
Author(s):
WANG Wen-quanSONG Ke-puWANG YongXIE Wei
关键词:
模型驱动机载嵌入式软件SCADE
Keywords:
MDAairborne embedded softwareSCADE
文献标志码:
A
摘要:
传统的软件开发方法已无法应对机载嵌入式软件开发面临的严峻挑战,基于模型驱动的软件开发方法将业务模型和软件实现平台分离,有效地提高了机载嵌入式软件开发效率。文中对两种机载嵌入式软件设计方法进行了比较,以基于SCADE平台实现的自动飞行控制系统的自动驾驶仪模态控制软件为例,并对SCADE自动生成代码与手工编写代码的执行效率进行了比较,证明前者更优,验证了基于模型驱动开发的软件设计方法能有效地提高机载嵌入式软件的开发效率
Abstract:
The traditional software development technique has been unable to cope with the serious challenges the airborne embedded soft-ware faces,while the MDA ( Modal Driven Architecture) techniques separate the business models and the software environment,and ef-fectively improve the efficiency of airborne embedded software development. Compare the two airborne embedded software design meth-ods and use the autopilot flight control system's autopilot mode control software as a example,compare the efficiency of SCADE code and man-made code to verify the MDA can greatly improve the efficiency of airborne embedded software development

相似文献/References:

[1]智勇 黄海平 王汝传 孙正林.网络故障管理中基于模型驱动的移动代理应用[J].计算机技术与发展,2009,(10):222.
 ZHI Yong,HUANG Hai-ping,WANG Ru-chuan,et al.Application of Mobile Agent Based on Model - Driven in Network Fault Management[J].,2009,(08):222.
[2]王海林.模型驱动下的数据库自动生成[J].计算机技术与发展,2011,(08):173.
 WANG Hai-lin.Automatic Generation of Database Based on Model Driven[J].,2011,(08):173.
[3]王海林.模型驱动下的Web应用系统自动生成[J].计算机技术与发展,2012,(01):83.
 WANG Hai-lin.Model Driven Automatic Generation of Web Application Systems[J].,2012,(08):83.
[4]刘玮,李蜀瑜.AADL模型的形式化研究[J].计算机技术与发展,2013,(09):43.
 LIU Wei,LI Shu-yu.Research on Formalization of AADL Model[J].,2013,(08):43.
[5]石娇洁[],胡军[],刘雪[],等. 一种嵌入式系统模型的安全性分析验证方法[J].计算机技术与发展,2015,25(10):7.
 SHI Jiao-jie[],HU Jun[],LIU Xue[],et al. A Verification Method of Security Analysis for Embedded System Model[J].,2015,25(08):7.

更新日期/Last Update: 1900-01-01