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

Standard:
Issued:
  • 2017-08-22
 
  • CURRENT
Publisher:
  • SAE International
Pages:
37
Scope:

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.

Rationale:

This Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex standard document was prepared by the SAE AS-2C Architecture Description Language Subcommittee, Embedded Computing Systems Committee, Aerospace Avionics Systems Division.

The purpose of the Behavior Model Annex is to enable modeling of component and component interaction behavior in a state-machine based annex sublanguage. The Behavior Model Annex language was originally published as AS5506/2 in 2011. The language addresses a number of errata and improvements to align with the AADL V2.2 core language AS5506C published January 2017. These errata and changes have been approved by the committee.

The Behavior Model Annex was originally published as part of AS5506/2, a volume of three annexes. In the future, each published Annex to AADL has its own number starting with the revised Behavior Model Annex as AS5506/3.

History:
Standard Published Revision Status
AS5506/3 2017-08-22 Latest Issued
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$76.00
Add
Mail
$76.00
Members save up to 18% off list price.
Grade
If you are currently using this technical report:
Share
HTML for Linking to Page
Page URL

Related Items

Article
2016-12-08
Standard
2012-05-03
Technical Paper / Journal Article
2004-03-08