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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

Cyber-Physical Systems (CPS) are known to be highly complex systems which can be applied to a variety of different environments…

2014

Integrated Modular Avionics (IMA) system has revealed many advantages compared with the previous generation avionics system…

2010

To combat the state-space explosion problem in model checking larger systems, abstraction techniques can be employed. Here…

2009

Model Driven Engineering provides facilities to tackle complexity in real-time systems, from early requirements capture to…

2009

In this paper temporal semantics based on the Duration Calculus are put into the Architecture Analysis and Design Language…

2008

This paper describes a contribution to the verification of AADL models. It focuses on the part of the language dealing with…

2007

High-Integrity distributed applications are used in many critical domains. They must be designed and built with a great deal of…

2007

The development of embedded systems through models requires the creation of both a platform independent model (PIM) and a…

2007

Aspect-Oriented Modeling is aimed at reducing the complexity of models by separating its different concerns. In model-based…

2005