Browse Standards AS5506/3
Current Issued 2017-08-22

Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex AS5506/3

This Behavior Annex provides a standard sublanguage extension to allow behavior specifications to be attached to AADL components. The aim of the Behavior Annex is to refine the implicit behavior specifications that are specified by the core of the language. The Behavior Annex targets the following goals:

- Describe the internal behavior of component implementations as a state transition system with guards and actions. However, the aim is not to replace software programming languages or to express complex subprogram computations.

- Extend the default run-time execution semantics that is specified by the core of the standard, such as thread dispatch protocols.

- Provide more precise subprogram calls synchronization protocols for client-server architectures.



Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 18% off list price.
Login to see discount.
Special Offer: Purchase more aerospace standards and aerospace material specifications and save! AeroPaks off a customized subscription plan that lets you pay for just the documents that you neeed, when you need them.

Get Involved

Want to participate in updating this standard?