1. Introduction
2. ARCHITECTURE ANALYSIS & DESIGN LANGUAGE (AADL) AS5506
2.1 Foreword
2.2 Information and Feedback
2.3 Scope
2.3.1 Purpose/Extent
2.3.2 Field of Application
2.3.3 Structure of Document
A Reader’s Guide
Structure of Clauses and Subclauses
2.3.4 Error, Exception, Anomaly and Compliance
2.3.5 Method of Description and Syntax Notation
2.3.6 Method of Description for Discrete and Temporal Semantics
2.4 References
2.4.1 Normative References
2.4.2 Informative References
2.4.3 Terms and Definitions
3. Architecture Analysis & Design Language Summary
4. Components, Packages, and Annexes
4.1 AADL Specifications
4.2 Packages
4.3 Component Types
4.4 Component Implementations
4.5 Subcomponents
4.6 Annex Subclauses and Annex Libraries
5. Software Components
5.1 Data
5.2 Subprograms and Subprogram Calls
5.3 Threads
5.4 Thread Groups
5.5 Processes
5.6 Predeclared Runtime Services
6. Execution Platform Components
6.1 Processors
6.2 Memory
6.3 Buses
6.4 Devices
7. System Composition
7.1 Systems
8. Features and Shared Access
8.1 Ports
8.2 Port Groups and Port Group Types
8.3 Subprograms As Features
8.4 Subprogram Parameters
8.5 Subcomponent Access
9. Connections and Flows
9.1 Connections
9.1.1 Port Connections
9.1.2 Parameter Connections
9.1.3 Access Connections
9.2 Flows
9.2.1 Flow Specifications
9.2.2 Flow Implementations
9.2.3 End-To-End Flows
10. Properties
10.1 Property Sets
10.1.1 Property Types
10.1.2 Property Names
10.1.3 Property Constants
10.2 Predeclared Property Sets
10.3 Property Associations
10.4 Property Expressions
11. Operational Modes
11.1 Mode
12. Operational System
12.1 System Instances
12.2 System Binding
12.3 System Operation
13. Lexical Elements
13.1 Character Set
13.2 Lexical Elements, Separators, and Delimiters
13.3 Identifiers
13.4 Numerical Literals
13.4.1 Decimal Literals
13.4.2 Based Literals
13.5 String Literals
13.6 Comments
13.7 Reserved Words
14. Predeclared Property Sets
14.1 Standard AADL Property Set
14.2 Project-Specific Property Set
15. Profiles and Extensions
15.1 Allowed Subsets and Restrictions
16. Glossary
17. Syntax Summary
18. Graphical AADL Notation
18.1 AADL Graphical Symbols
18.1.1 Component Categories
18.1.2 Ports and Port Connections
18.1.3 Shared Access to Data and Buses
18.1.4 Subprogram Calls and Parameter Passing
18.1.5 Execution Platform Bindings
18.1.6 Modes and Mode Transitions
18.2 System Structure and Topology
19. Unified Modeling Language (UML) Profile
20. AADL Meta Model & Data Interchange Formats
21. Language Compliance and Application Program Interface
21.1 Ada Language Compliance and Application Program Interface
21.2 C Language Compliance and Application Program Interface
22. Error Model
23. Possible Tools