Schedule

Week 1: August 23 (date shown is for Tuesday lecture period)

  • Lectures:
    • Course Administration (.pdf)
    • Isolette: A Simple Safety Critical System (slides: .pdf, video .mov)
    • Control Loop Examples
    • Basic Safety-Related Terminology
  • Reading:
    • Disaster Cast (Episode #1)
    • Hatcliff et al. "Certifiably Safe Software-Dependent Systems: Challenges and Directions", Future of Software Engineering 2014, at the International Conference on Software Engineering (Sections 1,2.1) (.pdf)

Week 2: August 30

  • Lectures:
    • Basic Safety-Related Terminology
  • Reading:
    • Disaster Cast (Episode #2)
    • Hatcliff et al. "Certifiably Safe Software-Dependent Systems: Challenges and Directions", Future of Software Engineering 2014, at the International Conference on Software Engineering (Sections 2.2) (.pdf)

Week 3: September 6

  • Lectures:
    • PCA Pump Background
    • PCA Pump Project Overview
  • Reading:
    • Disaster Cast (Episode #4) (note we are skipping episode #3)
  • Quiz:
    • Basic Safety-Related Terminology

Week 4: September 13