%0 Journal Article
%T AADL: An Architecture Design and Analysis Language for Complex Embedded Real-TimeSystems<br>复杂嵌入式实时系统体系结构设计与分析语言:AADL
%A YANG Zhi-Bin
%A PI Lei
%A HU Kai
%A GU Zong-Hua
%A MA Dian-Fu
%A <br>杨志斌
%A 皮 磊
%A 胡 凯
%A 顾宗华
%A 马殿富
%J 软件学报
%D 2010
%I 
%X 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.
%K complex embedded real-time system
%K system architecture
%K model driven
%K AADL (architecture analysis anddesign language)<br>复杂嵌入式实时系统
%K 系统体系结构
%K 模型驱动
%K AADL(architecture
%K analysis
%K and
%K design
%K language)
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=4B6651985A250A0C0E5A7154D112509A&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=E158A972A605785F&sid=7E7F5B01D43BD73F&eid=BD77137A0285B6FF&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=93