aadl

Schedulability analysis of AADL models
Translating AADL into BIP - Application to the Verification of Real-Time Systems
The Architecture Analysis & Design Language (AADL): An Introduction
Safety, Dependability and Performance Analysis of Extended AADL Models
Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language
ArcheOpterix: An extendable tool for architecture optimization of AADL models
ArcheOpterix: An extendable tool for architecture optimization of AADL models.
From the prototype to the final embedded system using the Ocarina AADL tool suite
Model-Based Engineering with AADL, CourseSmart eTextbook: An Introduction to the SAE Architecture Analysis & Design Language
A hierarchical exercise scale to measure function at the Advanced Activities of Daily Living (AADL) level.