| 复杂嵌入式实时系统体系结构设计与分析语言:AADL |
| |
| 引用本文： | 杨志斌,皮 磊,胡 凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(4):899-915. |
| |
| 作者姓名： | 杨志斌 皮 磊 胡 凯 顾宗华 马殿富 |
| |
| 作者单位： | 北京航空航天大学 计算机学院,北京 100191;Toulouse Institute of Computer Science Research, Toulouse, France;北京航空航天大学 计算机学院,北京 100191;浙江大学 计算机科学与技术学院,浙江 杭州 310027;北京航空航天大学 计算机学院,北京 100191 |
| |
| 基金项目： | 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(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型
驱动设计与实现的角度综述了AADL 在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对
AADL 的建模与分析工具、应用实践进行了概述.最后,探讨了AADL 的发展与研究方向.
|
| 关 键 词： | 复杂嵌入式实时系统 系统体系结构 模型驱动 AADL(architecture analysis and design language) |
| 收稿时间： | 1/8/2009 12:00:00 AM |
| 修稿时间： | 7/9/2009 12:00:00 AM |
AADL: An Architecture Design and Analysis Language for Complex Embedded Real-TimeSystems |
| |
| YANG Zhi-Bin,PI Lei,HU Kai,GU Zong-Hua and MA Dian-Fu.AADL: An Architecture Design and Analysis Language for Complex Embedded Real-TimeSystems[J].Journal of Software,2010,21(4):899-915. |
| |
| Authors: | YANG Zhi-Bin PI Lei HU Kai GU Zong-Hua and 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. |
| |
| Keywords: | complex embedded real-time system system architecture model driven AADL (architecture analysis anddesign language) |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
