1. Introduction
2. What’s New
2.1 What’s New in OSATE 1.2
2.2 What’s New in OSATE 1.1
2.3 What’s New in OSATE 1.0
3. Download and Installation
3.1 Installation of OSATE Bundled with Eclipse
3.2 Install into an existing Eclipse installation
3.3 Use the Eclipse Installation/Update Manager
3.4 Problems with the Installation
3.4.1 Out of Memory Errors
3.4.2 Getting Help
3.5 Updating Your Installation
4. Use of the AADL Tool Environment (OSATE)
4.1 Starting Up OSATE for the First Time
4.1.1 The “Problems” View
4.1.2 The “AADL Property Values” View
4.1.3 The “Properties” View
4.1.4 The “Tasks” View
4.1.5 The “Aadl Navigator” View
4.1.6 The “Progress” View
4.1.7 The “Error log” View
4.2 Managing AADL Models with Eclipse Projects
4.2.1 AADL Projects
4.2.2 AADL Models as Files
4.2.3 AADL Namespaces
4.3 Eclipse Projects and Team Support
4.4 Creating and Editing AADL Models
4.5 Predeclared AADL Properties
4.6 Automatic Build with the AADL Builder
4.7 Importing AADL Models into OSATE
4.8 Synchronizing Eclipse/OSATE with the File System
5. The AADL Text Editor
5.1 Syntax/Semantics Checking of AADL Text
5.2 Code Completion
5.3 Text Hover
5.4 Working With Textual AADL Models
5.5 Semantic Checking and Translation to XML
5.5.1 Reporting of Errors and Warnings
5.5.2 What do the Parser and Semantic Checker Check?
5.5.3 The AADL Model as XML File
6. Generating Reports from the “Problems” View
7. The AADL Object Editor
7.1 Viewing AADL Object Models
7.2 Navigating AADL Object Models
7.3 Editing in the AADL Object Editor
7.4 Viewing the System Instance Hierarchy in the Declarative Model
7.5 Creating and Working with AADL Instance Models
7.6 Generating Textual AADL
7.7 The “AADL Property Values” View
7.7.1 Viewing Property Associations
7.7.2 Adding a New Property Association
7.7.3 Modifying Existing Property Associations
Modifying Modal Property Associations
7.7.4 Removing Property Associations
8. The AADL Graphical Editor
8.1 From AADL Text to a Graphical AADL Diagram
8.2 Graphical Editing
8.2.1 From the Graphical Editor to the Text Editor
9. Analysis of Declarative AADL Models and AADL Instance Models
9.1 Additional Semantic Checks
9.1.1 Check for Circular Property References
9.1.2 Check for Required Connection
9.2 Architecture Analyses
9.2.1 Model Statistics
9.2.2 Stream Miss Rate Checking
9.3 Security and Safety Level Checking
9.3.1 Check Security Levels
9.3.2 Check Safety Levels
9.4 Flow Latency Analysis
9.5 MetaH Generation
9.6 Thread–Processor Binding
9.7 Do It Yourself
10. Flow Latency Analysis
10.1 Fully and Partially Specified Instance Models
10.2 End-To-End Flow Latency Analysis on Instance Models
10.3 End-To-End Flow Latency Analysis on Declarative Models
10.4 Flow Implementation Latency Analysis on Declarative Models
10.5 Example Models for Flow Analysis
11. Example Models
11.1 Securityexample.aadl
11.1.1 Running the Example
11.2 Safetyexample.aadl
11.3 Sunseekerdemo.aadl
11.3.1 Running the Example
11.3.2 Instantiating the System
11.4 Avionics_System.aadl
11.4.1 Running the Example
11.5 Display_System.aadl
11.5.1 Running the Example
11.6 Tripleredundant.aadl
11.6.1 Running the Example
11.7 Instancemodeexample.aadl
11.7.1 Running the Example
11.8 Flight Control System
11.9 Cruise_Control.aadl
11.10 CockpitDisplay.aadl
12. Problems and Errors
13. OSATE Implementation Background