Ocarina User’s Guide

• 1. About This Guide
  • 1.1. About this Guide
  • 1.2. Document Conventions
  • 1.3. Copyright Information
• 2. Introduction
  • 2.1. About Ocarina
  • 2.2. Licence
  • 2.3. About AADL
  • 2.4. Ocarina concepts
• 3. Installation
  • 3.1. Supported platforms
  • 3.2. Build requirements
  • 3.3. Semi-automated build instructions
  • 3.4. Manual build instructions
  • 3.5. Build options
  • 3.6. Windows-specific options
• 4. Usage
  • 4.1. Ocarina command-line
  • 4.2. ocarina-config
• 5. Scenario files
  • 5.1. ocarina_library.aadl
• 6. PolyORB-HI/C
  • 6.1. About
  • 6.2. Supported Platforms
  • 6.3. Tree structure
  • 6.4. Generating code from an AADL model
  • 6.5. Code generation towards PolyORB-HI/C
• 7. OSATE2-Ocarina plug-in
  • 7.1. Installation
  • 7.2. Configuration
  • 7.3. Usage
• 8. Python bindings for Ocarina
  • 8.1. Ocarina Python bindings
  • 8.2. Example
  • 8.3. Python API description
• 9. Editor support
  • 9.1. Emacs
  • 9.2. vim
• 10. Ocarina property sets
  • 10.1. Deployment
  • 10.2. Ocarina_Config
• 11. GNU Free Documentation License
  • 11.1. Preamble
  • 11.2. Applicability and Definition
  • 11.3. Verbatim Copying
  • 11.4. Copying in Quantity
  • 11.5. Modifications
  • 11.6. Combining Documents
  • 11.7. Collections of Documents
  • 11.8. Aggregation with Independent Works
  • 11.9. Translation
  • 11.10. Termination
  • 11.11. Future Revisions of this License
  • 11.12. How to use this License for your documents
• 12. Indices and tables