Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,335,833 papers from all fields of science
Search
Sign In
Create Free Account
Architecture Analysis & Design Language
Known as:
AADL
, Architecture Analysis and Design Language
, Avionics Architecture Description Language
The Architecture Analysis & Design Language (AADL) is an architecture description language standardized by SAE. AADL was first developed in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Architecture description language
Avionics
Embedded system
ISO/IEC 42010
Expand
Broader (2)
Software architecture
Systems architecture
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The Story of AADL
P. Feiler
ACVI@MoDELS
2014
Corpus ID: 1058510
5 years ago the SAE AS-2C subcommittee started to work on the Architecture Analysis & Design Language (AADL) standard. AADL was…
Expand
2012
2012
AADL Requirements Annex Explored With FAA Handbook Example
E. Senn
,
D. Blouin
,
S. Turki
2012
Corpus ID: 185962172
2011
2011
Reliability Analysis and Assessment Tool for AADL Model
Dongwon Yun
2011
Corpus ID: 64467811
This paper focuses on a reliability model of embedded system architecture using AADL (architecture analysis and design language…
Expand
Review
2010
Review
2010
AADL:An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems
Yang Zhi
2010
Corpus ID: 63732210
This paper firstly presents a summary of AADL (architecture analysis and design language), including its progress over the years…
Expand
2010
2010
Verification Based Development Process for Embedded Systems
T. Correa
,
L. Becker
,
+4 authors
Vernadat
2010
Corpus ID: 17933513
: Designing safety critical systems is a complex task due to the need of guaranteeing that the resulting model can cope with all…
Expand
2010
2010
Explicating Critical Assumptions in Software Architectures Using AADL
Hamed Ordibehesht
2010
Corpus ID: 53698529
2010
2010
Mapping the MARTE UML profile to AADL
S. Turki
,
E. Senn
,
Dominique Blouin. Labsticc
2010
Corpus ID: 18821416
CAT, the Consumption Analysis Toolbox, used with an AADL editor like OSATE allows for system-level power and energy consumption…
Expand
2009
2009
Modeling Timing Behavior for Cyber-Physical Systems
Hanbo Wang
,
Xingshe Zhou
,
Yunwei Dong
,
Lei Tang
International Conference on Computational…
2009
Corpus ID: 17380551
In this paper temporal semantics based on the Duration Calculus are put into the Architecture Analysis and Design Language…
Expand
2009
2009
Towards a Model-Driven Approach for Mapping Requirements on AADL Architectures
C. Ponsard
,
Mathieu Delehaye
IEEE International Conference on Engineering of…
2009
Corpus ID: 16959578
Software architectural design is a key activity in the software development process. It is especially critical for embedded…
Expand
1988
1988
A Microprogramming Logic
W. Damm
IEEE Trans. Software Eng.
1988
Corpus ID: 19351807
A universal syntax-directed proof system is presented for the verification of horizontal computer architectures. The system is…
Expand