HAMR Documentation

The material below is draft content for the HAMR Reference Manual (HAMR RM). Additional documentation is being rolled out by mid-November 2020 (see the itemized list below).

• HAMR Installation
  • Overview
  • Installation Option: Direct Installation with Assistance from the Sireum Kekinian Framework
  • Installation Option: Vagrant VM-based Installation
• HAMR Overview
  • General Concepts
  • Supported Programming Languages for Application Logic
  • Supported Target Platforms
  • HAMR on the DARPA CASE Program
  • HAMR Code Generation Architecture
  • Assurance Case Structure of HAMR-built Systems
• HAMR Tour
  • Overview
  • AADL Modeling
  • AADL Analysis
  • Slang Workflows
  • C Workflows
• AADL Computational Paradigm and HAMR Fundamental Concepts
  • Overview
  • Example
  • AADL Threading
  • Port-based Communication
  • Computational Model
• Temp Control Walkthrough
• Overview

Top-level Outline of planned Sireum documentation

• What is HAMR / HAMR Tour

• Preparing to use HAMR (installation, gathering libraries, etc.)

• AADL/HAMR Fundamental Concepts

• HAMR Workflow

• AADL/HAMR Modeling Essentials

• HAMR Type System

• HAMR/Slang Coding

• HAMR/Slang Contract-based Verification

• HAMR/Slang Simulation and Testing

• HAMR/C Development

• HAMR Project Deployment

• Examples