Schedule

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

  • Lectures:
    • Course Administration (.pdf)
    • Isolette: A Simple Safety Critical System (slides: .pdf, video .mov)
    • Control Loop Examples
    • Differences between Conventional Development and Development of Safety-Critical Systems
  • 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,2.2) (.pdf)

Week 2: August 29

  • Lectures:
    • Differences between Conventional Development and Development of Safety-Critical Systems
  • 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.1,2.2) (.pdf)

Week 3: September 5

  • Lectures:
    • PCA Pump Background
    • PCA Pump Project Overview
    • Operational Concepts
    • Use Case Action Steps
  • Reading:
    • Disaster Cast (Episode #4) (note we are skipping episode #3)
  • Quiz:
    • Elements of Control Loops

Week 4: September 12

  • Lectures:
    • Basic Safety Terminology
  • Reading:
    • Chapters 1 and 2 of Model-based Engineering with AADL
    • Disaster Cast (Episode #6) (note we are skipping episode 5)