首页 | 本学科首页   官方微博 | 高级检索  
     

复杂嵌入式实时系统体系结构设计与分析语言:AADL
引用本文:杨志斌,皮磊,胡凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5).
作者姓名:杨志斌  皮磊  胡凯  顾宗华  马殿富
作者单位:1. 北京航空航天大学,计算机学院,北京,100191
2. Toulouse Institute of Computer Science Research, Toulouse, France
3. 浙江大学,计算机科学与技术学院,浙江,杭州,310027
基金项目:国家高技术研究发展计划(863计划),航空科学基金,香港研究资助局面上项目,法国TOPCASED项目 
摘    要:首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型驱动设计与实现的角度综述了AADL在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对AADL的建模与分析工具、应用实践进行了概述.最后,探讨了AADL的发展与研究方向.

关 键 词:复杂嵌入式实时系统  系统体系结构  模型驱动

AADL:An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems
YANG Zhi-Bin,PI Lei,HU Kai,GU Zong-Hua,MA Dian-Fu.AADL:An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems[J].Journal of Software,2010,21(5).
Authors:YANG Zhi-Bin  PI Lei  HU Kai  GU Zong-Hua  MA Dian-Fu
Affiliation:YANG Zhi-Bin1+,PI Lei2,HU Kai1,GU Zong-Hua3,MA Dian-Fu11(School of Computer Science , Engineering,BeiHang University,Beijing 100191,China) 2(Toulouse Institute of Computer Science Research,Toulouse,France) 3(College of Computer Science , Technology,Zhejiang University,Hangzhou 310027,China)
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:AADL(architecture analysis and design language)
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号