AADL: An architecture design and analysis language for complex embedded real-time systems

Zhi Bin Yang; Lei Pi; Kai Hu; Zong Hua Gu; Dian Fu Ma

doi:10.3724/SP.J.1001.2010.03700

AADL: An architecture design and analysis language for complex embedded real-time systems

Zhi Bin Yang^*
, Lei Pi
, Kai Hu
, Zong Hua Gu
, Dian Fu Ma

^*此作品的通讯作者

计算机学院

科研成果: 期刊稿件 › 文章 › 同行评审

42 引用（Scopus）

摘要

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.

源语言	英语
页（从-至）	899-915
页数	17
期刊	Ruan Jian Xue Bao/Journal of Software
卷	21
期	5
DOI	https://doi.org/10.3724/SP.J.1001.2010.03700
出版状态	已出版 - 5月 2010

访问文件

10.3724/SP.J.1001.2010.03700

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{46e51c65f3a845bf9e0cfbbae72173a0,

title = "AADL: An architecture design and analysis language for complex embedded real-time systems",

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), Complex embedded real-time system, Model driven, System architecture",

author = "Yang, \{Zhi Bin\} and Lei Pi and Kai Hu and Gu, \{Zong Hua\} and Ma, \{Dian Fu\}",

year = "2010",

month = may,

doi = "10.3724/SP.J.1001.2010.03700",

language = "英语",

volume = "21",

pages = "899--915",

journal = "Ruan Jian Xue Bao/Journal of Software",

issn = "1000-9825",

publisher = "Chinese Academy of Sciences",

number = "5",

}

TY - JOUR

T1 - AADL

T2 - An architecture design and analysis language for complex embedded real-time systems

AU - Yang, Zhi Bin

AU - Pi, Lei

AU - Hu, Kai

AU - Gu, Zong Hua

AU - Ma, Dian Fu

PY - 2010/5

Y1 - 2010/5

N2 - 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.

AB - 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.

KW - AADL (architecture analysis and design language)

KW - Complex embedded real-time system

KW - Model driven

KW - System architecture

UR - https://www.scopus.com/pages/publications/77953260025

U2 - 10.3724/SP.J.1001.2010.03700

DO - 10.3724/SP.J.1001.2010.03700

M3 - 文章

AN - SCOPUS:77953260025

SN - 1000-9825

VL - 21

SP - 899

EP - 915

JO - Ruan Jian Xue Bao/Journal of Software

JF - Ruan Jian Xue Bao/Journal of Software

IS - 5

ER -

AADL: An architecture design and analysis language for complex embedded real-time systems

摘要

访问文件

其它文件与链接

指纹

引用此