Schedule

Week 1: January 20

Lectures:

• Tuesday - Course Administration (live)
• On your own (recorded lectures – see Lectures page)
  • HAMR Overview (part 1)
  • HAMR Overview (part 2)

Homework

• HAMR tutorials (see Lectures page)
  • HAMR Installation
  • AADL OSATE Workspace Concepts
  • Loading an Existing AADL Project into OSATE/FMIDE
  • Loading an Generated/Existing HAMR Slang Project into the IntelliJ-based Sireum IVE
  • Refactoring an AADL Model to Remove Ports and Change Port Categories
  • Refactoring a Slang Implementation of an AADL System

Due January 26, 11:59pm

Week 2: January 27

Lectures:

• Tuesday (live)
  • Discuss AADL Tutorials results
  • Lecture: Differences between Conventional Development and Development of Safety-Critical Systems
• On your own (recorded lectures – see Lectures page)
  • AADL Overview
  • AADL: Modeling Embedded Software
  • Control Loop Basics illustrated with Temperature Controller Example (also memorize study guide)

Homework

• HAMR tutorials (see Lectures page)
  • Creating an AADL Model from Scratch
  • Creating a HAMR Slang Project from Scratch

Week 3: February 3

Lectures:

• Tuesday (live)
  • Discuss AADL Tutorials results
  • Lecture: Safety-Related Terminology

• On your own (see Lectures page)
  • Listening and note-taking: Disaster Cast Phase 1

Homework

• HAMR tutorials (see Lectures page)
  • HAMR Unit Tests for Slang