1990994

SAE AS5506/3

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

standard by SAE International , 08/22/2017

View all product details

Most Recent

Track It

Language:
    • Available Formats
    • Options
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 1-2 business days
    • $138.00
    • Add to Cart
    • Printed Edition + PDF
    • Immediate download
    • $179.00
    • Add to Cart

Customers Who Bought This Also Bought

 

About This Item

 

Full Description

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.

 

Product Details

Published:
08/22/2017
Number of Pages:
37
File Size:
1 file , 260 KB
Note:
This product is unavailable in Ukraine, Russia, Belarus