Sireum Awas Documentation

Sireum Awas Documentation

• 1. Getting Started
  • 1.1. Sireum Awas pluging for OSATE
  • 1.2. Sireum Awas JAR
  • 1.3. Sireum Awas source distribution
    • 1.3.1. Prerequisites
    • 1.3.2. Installing and Running Awas
      • 1.3.2.1. Building Sireum Awas Jar
      • 1.3.2.2. Building Sireum Awas plugin
      • 1.3.2.3. Running Awas
• 2. Sireum Awas User Stories
  • 2.1. Sireum Awas Capabilities
  • 2.2. Simple UAV System
  • 2.3. Model Navigation
    • 2.3.1. UAS: The top level system with ground station and UAV
    • 2.3.2. UAV - Composed of Mission computer and Flight Controller
    • 2.3.3. Mission computer - Composed of Radio, UART and Software Components
    • 2.3.4. Software - Composed of drivers and logic for computing the waypoints
    • 2.3.5. Awas Visualizer Interface
    • 2.3.6. View Options
      • 2.3.6.1. Flows
      • 2.3.6.2. Connections
  • 2.4. Dependency Analysis
    • 2.4.1. Forward and Backward Analysis
    • 2.4.2. Forward and Backward Analysis in OSATE
    • 2.4.3. Dependency Analysis Using Queries
      • 2.4.3.1. Multiple Query Results
    • 2.4.4. Complex Queries
      • 2.4.4.1. Source to Destination Query
      • 2.4.4.2. Path Queries
      • 2.4.4.3. Path Based Filter
  • 2.5. Risk Analysis
  • 2.6. Query Language Grammar
  • 2.7. Known Issues
• 3. Sireum Awas Risk Analysis
  • 3.1. ISO 14971/AAMI 80001 (TL;DR Open PCA Pump Awas ISO 14971 Report)
    • 3.1.1. OpenPCA Pump Model
      • 3.1.1.1. Background
      • 3.1.1.2. Design
    • 3.1.2. ISO 14971/AAMI 80001
      • 3.1.2.1. Risk Analysis
      • 3.1.2.2. Risk Analysis Process
      • 3.1.2.3. Risk Analysis Sample Scenario
    • 3.1.3. AADL 14971 Property template
    • 3.1.4. Risk Analysis Walk-though: Analyst Perspective
    • 3.1.5. Awas Visualization
    • 3.1.6. Awas Report
    • 3.1.7. Known Issues