 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
杨志斌,皮 磊,胡 凯,顾宗华,马殿富.复杂嵌入式实时系统体系结构设计与分析语言:AADL.软件学报,2010,21(5):899-915 |
复杂嵌入式实时系统体系结构设计与分析语言:AADL |
AADL: An Architecture Design and Analysis Language for Complex Embedded Real-TimeSystems |
投稿时间:2009-01-08 修订日期:2009-07-09 |
DOI: |
中文关键词: 复杂嵌入式实时系统 系统体系结构 模型驱动 AADL(architecture analysis and design language) |
英文关键词:complex embedded real-time system system architecture model driven AADL (architecture analysis anddesign language) |
基金项目: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 项目) |
|
摘要点击次数: 9739 |
全文下载次数: 11679 |
中文摘要: |
首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型
驱动设计与实现的角度综述了AADL 在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对
AADL 的建模与分析工具、应用实践进行了概述.最后,探讨了AADL 的发展与研究方向. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|