Overview for AADL Users
| Training | ||
|---|---|---|
|
Date(s) |
Location |
Description |
Scheduled dates posted |
SEI Pittsburgh, PA(USA) |
Modeling System Architectures Using the Architecture Analysis and Design Language (AADL)— For more information and to register, go to the course description page. |
| AADL Language Extensions Update | ||
Extension |
Status |
Description |
Available |
Supports reliability, availability, maintainability,
safety, |
|
Available |
Permits you to use your existing tool base and evolve and integrated embedded systems engineering environment over time |
|
Available |
Defines a set of graphical symbols for the graphical AADL notation |
|
Available |
Defines languge-specific rules for sources text to be compliant with an architecture specification written in AADL |
|
UML 2.0 profile for standard AADL annex |
In balloting |
Allows you to use AADL without giving up your UML modeling environment and process |
AADL Behavior annex (pdf, 324kb) |
Presented to subcommittee |
|
ARINC 653 |
In development |
|
Constraint sublanguage |
In development |
|
| AADL Example Models | ||
|---|---|---|
Example Model |
Description |
|
For use with the new resource budget and allocation analysis plug-in (OSATE 1.2.3) |
||
Includes a model of the flight manager with threads communicating through a shared data area and explicit priority assignment to threads |
||
|
||
Used by ENST in a training exercise |
||
| Analysis Plug-in Progress | ||
Plug-In |
Description |
|
AADL error model annex implementation |
||
Process Algebra toolset |
Available as part of the Furness toolset (www.furnesstoolset.com) |
|
Assumption management (pdf, 788kb) |
Extension and plug-in by the University of Illinois Urbana-Champaign |
|
| AADL Development and Tool Support | ||
Date(s) |
Description |
|
September 2006 |
Joint release of OSATE 1.4 and TOPCASED 0.10.0 with support for error model annex |
|
October 23–26, 2006 |
AADL Standard Subcommittee and ASDmeeting, Jacksonville, Florida (USA) |
|