Table of Contents

Annex D - Behavior Model
Annex D.1 - Scope
Annex D.2 - Overview Of Behavior Annex Concepts
Annex D.3 - Behavior Specification
Annex D.4 - Thread Dispatch Behavior Specification
Annex D.5 - Component Interaction Behavior Specification
Annex D.6 - Behavior Action Language
Annex D.7 - Behavior Expression Language
Annex D.8 - Synchronization Protocols

Abstract

Describes a Behavior Model Annex that extends the AADL core language [AS5506C] with a state machine-based sublanguage annex notation for specifying component and component interaction behavior.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	SAE International
Pages
ISBN
Committee	AS-2C