OVerView for AADL Users
| Training | ||
|---|---|---|
|
Date(s) |
Location |
Description |
October 7–8, 2008 |
SEI Pittsburgh, PA(USA) |
Public 2-day Model-based Engineering with SAE AADL Course |
| 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) |