OSATE 1.5.8This OsATE release addresses two issues concerning port groups, one about the generation of connection instances and the other about the interpretation of direction of event ports inside a port group. Download OSATE 1.5.8 here. |
AADL Community WikiThe AADL community wiki contains a wealth of information about the AADL standard, it annexes, and the toolsets that can be used with AADL models. Because it is a community wiki, AADL users and others involved in modeling system architectures are welcone to contribute to its content. The wiki includes areas duch as modeling, tool development, AADL-related publications, AADL history, and user presentations. |
AADL V2AADLv2 was published in January 2009, with the graphics annex. This version introduces virtual processor and virtual bus component categories in support of partitions, hierarchical schedulers, virtual channels, and protocol stacks. Other improvements include abstract components, classifier parameterization, and component multiplicity to better support architecture patterns for system families and reference architectures as well as scaling to large-scale systems. Annexes have been published and more are in progress. For details see the Standardization section of the AADL community wiki.
Other annex activities include cyber-physical systems, SysML/AADL, and formal verification.
AADL V2 is available. For details, go to
http://www.sae.org/technical/standards/AS5506A. |