复杂嵌入式实时系统体系结构设计与分析语言:AADL

杨志斌; 皮 磊; 胡 凯; 顾宗华; 马殿富

引用本文:	杨志斌,皮磊,胡凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言:AADL.软件学报,2010,21(5):899-915

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 19398次下载 20692次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
复杂嵌入式实时系统体系结构设计与分析语言:AADL
杨志斌¹, 皮磊², 胡凯¹, 顾宗华³, 马殿富¹
1.北京航空航天大学计算机学院,北京 100191;2.Toulouse Institute of Computer Science Research, Toulouse, France;3.浙江大学计算机科学与技术学院,浙江杭州 310027

摘要:

首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL 在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对 AADL 的建模与分析工具、应用实践进行了概述.最后,探讨了AADL 的发展与研究方向.

关键词: 复杂嵌入式实时系统系统体系结构模型驱动 AADL(architecture analysis and design language)

DOI：

分类号:

基金项目:Supported by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA01A127, 2006AA01Z19A( 国家高技术研究发展计划(863)); the Aviation Science Foundation of China under Grant Nos.20081951027, 2007ZC51032,20060151003 (航空科学基金); the RGC CERG of Hong Kong of China under Grant No.613506 (香港研究资助局面上项目); theTOPCASED Project in France (法国TOPCASED 项目)

AADL: An Architecture Design and Analysis Language for Complex Embedded Real-TimeSystems

YANG Zhi-Bin,PI Lei,HU Kai,GU Zong-Hua,MA Dian-Fu

Abstract:

This paper firstly presents a summary of AADL (architecture analysis and design language), including its progress over the years and its modeling elements. Then, it surveys the research and practice of AADL from a model-based perspective, such as AADL modeling, AADL formal semantics, model transformation, verification and code generation. Finally, the potential research directions are discussed.

Key words: complex embedded real-time system system architecture model driven AADL (architecture analysis anddesign language)