Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Architecture description languageAvionicsEmbedded systemISO/IEC 42010

Broader (2)

Software architectureSystems architecture

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Formal Verification of AADL Models Using UPPAAL
Cyber-Physical Systems (CPS) are known to be highly complex systems which can be applied to a variety of different environments… 
2014
2014
IMA reconfiguration modeling and reliability analysis based on AADL
Integrated Modular Avionics (IMA) system has revealed many advantages compared with the previous generation avionics system… 
2014
2014
A framework to specify big data driven complex cyber physical control systems
Big data technology is a new technology that aims to efficiently obtain value from very big volumes of a wide variety of data, by… 
2010
2010
Real-time Extensions for the Fiacre modeling language
We present our ongoing research on the extension of the Fiacre language with real-time con- structs and real-time verification… 
2008
2008
A Study of the AADL Mode Change Protocol
This paper describes a contribution to the verification of AADL models. It focuses on the part of the language dealing with… 
2008
2008
AADL Execution Semantics Transformation for Formal Verification
The paper presents an AADL model transformation. This transformation provides a formal model for model checking activities. This… 
2007
2007
Generating Distributed High Integrity Applications from Their Architectural Description
High-Integrity distributed applications are used in many critical domains. They must be designed and built with a great deal of… 
2007
2007
From PIMs to PSMs
The development of embedded systems through models requires the creation of both a platform independent model (PIM) and a… 
2007
2007
Aspects in the industry standard AADL
Aspect-Oriented Modeling is aimed at reducing the complexity of models by separating its different concerns. In model-based… 
2005
2005
Towards formalising AADL in Proof Assistants
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)