Schedule

Week 1: January 19

Lectures:

  • Tuesday - Course Administration (live)
  • Thursday - HAMR SysMLv2 model walkthrough (live)

Out of Class Activities

  • HAMR Installation (CodeIVE on provided SysMLv2 model)
  • Rustlings (01_variables, 02_functions, 03_if, 04_primitive_types)

Week 2: January 26

Lectures:

  • Tuesday - On your own (recorded lectures – see Lectures page)
    • HAMR Overview Part 01
  • Thursday (live)
    • Isolette - Infant Incubator Example System (slides – see Lectures page)

Out of Class Activities

  • Rustlings (05_vecs, 06_move_semantics)

Week 3: February 2

Lectures:

  • Tuesday - HW 1 Simple Isolette Walkthrough
  • Thursday - Control Loop Basics illustrated with Temperature Controller Example (slides and study guide – see Lectures page)

Week 4: February 9

  • Tuesday - Walkthrough of HAMR documentation of representing AADL in SysMLv2
  • Thursday - Differences between Conventional Development and Development of Safety-Critical Systems (slides, reading, and study guide - see Lectures page)

Homework

  • SysMLv2 and Rust code refactoring for Simple Isolette (Due Monday Feb 16, 11:59 pm)

Week 5: February 16

  • Tuesday - HW 2 Simple Data Pipeline walkthrough
  • Thursday - Verus installation and demo

Homework

  • Building a HAMR System from Scratch (Due Thursday Feb 26, 11:59 pm)

Week 6: February 23

  • Thursday - Simple Firewall example
  • Thursday - Simple Firewall example (continued)