AADL


Also found in: Acronyms.

AADL

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
A souligner que cette operation de la remise des clefs concerne 4 399 logements AADL 1 (Agence nationale d'amelioration et du developpement du logement), dont 3 599 a Alger et 800 a Boumerdes.
As mentioned above, inputs of the verification framework of Figure 10 includes two parts: AADL models corresponding to the MARTE models which resulted from transformation of ARINC653 system configuration information and REAL theorems of description for safety properties of system configuration in the stages of specification and design.
Instead of hand-rolled domain models, we used AADL. Instead of manual integration of discrete and continuous parts of the problem as had previously been required, we used satisfiability modulo theories (SMTs).
In the first step, AADL is used to describe the IMA architecture, while Simulink models the peripherals (sensors/actuators) presenting the external world of the IMA module.
And to verify the transient fault detection approach, a unified platform based on AADL which reflects the system models is recommended.
Writing for graduate and advanced undergraduate students and practitioners in software engineering, they discuss such topics as modeling and analysis with the Architecture Analysis and Design Language (AADL), software components, composite and generic components, system flows and software deployment, and extending the language.
* attend an AADL Event, get a code, and redeem the code for 200-500 points, depending on the event
Since Old News launched in October 2011, the Ann Arbor District Library (AADL) has digitized and made available more than 128,000 articles from the Ann Arbor News, its predecessors--the Argus-Democrat, Courier, and Sun--and a nationally recognized abolitionist newspaper called the Signal of Liberty.
A special session on complex system modeling and simulation consists of nine papers while a workshop on UML and AADL contains an additional 11 papers.
An example of how the Blog is used in library that must be mentioned is that of the Ann Arbor District Library (AADL).
From January to end June 2009, a total of 40,196 rural housing units, 17,565 public rental units, 14,463 socio-participative units, 8,451 self-help housing, 2,043 hire-purchase units (AADL and CNEP), and 2,096 promotional housing units were built.AaAaAa
[9.] AADL image gallery--Ann Arbor District Library [Internet].