SAE AS 5506/3 : 2017
SAE AS 5506/3 : 2017
ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE (AADL) - ANNEX D: BEHAVIOR MODEL ANNEX
SAE International
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
| Document Type | Standard |
| Status | Current |
| Publisher | SAE International |
| Committee | AS-2C |
