Lectures


Course Overview and Introduction to Safety Concepts

  • Isolette: A Simple Safety Critical System
  • Basic Safety-Related Terminology
    • Slides: (.pdf)
    • Reading: 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)
    • Study Guide: (.txt)
  • Differences between Conventional Development and Development of Safety-Critical Systems
    • Slides: (.pdf)
    • Reading: Hatcliff et al. "Certifiably Safe Software-Dependent Systems: Challenges and Directions", Future of Software Engineering 2014, at the International Conference on Software Engineering (Section 2.2) (.pdf)

Requirements Management for Safety Critical Systems

General Reading

  • FAA Requirements Engineering Management Handbook (.pdf)

Lectures

  • Introduction to Requirements
  • FAA REMH Overview
  • FAA REMH: System Overview
  • FAA REMH: Identify the System Boundary
  • FAA REMH: Develop the Operational Concepts
    • Slides: (.pdf)
    • Video: (.mov)
    • Additional lecture slides on details of use case writing based on Cockburn's Writing Effective Use Cases
  • FAA REMH: Identify the Environment Assumptions
  • FAA REMH: Develop the Functional Architecture
  • FAA REMH: Revise the Functional Architecture to Meet Implementation Constraints
  • FAA REMH: Identify the System Modes
  • FAA REMH: Develop Detailed Requirements
  • FAA REMH: Define the Software Requirements

PCA Pump Project

Lectures

  • PCA Pump -- Introduction
  • PCA Pump -- Architecture Overview

Modeling Safety-Critical Systems in the Architecture and Analysis Definition Language (AADL)

Lectures

  • Modeling the Isolette in AADL

Risk Management

General Reading

  • "Basic Concepts and Taxonomy of Dependable and Secure Computing", Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, and Carl Landwehr (.pdf)
  • "Architecture Fault Modeling and Analysis with the AADL Error Modeling Annex v.2", Peter Feiler John Hudak Julien Delange David P. Gluch (.pdf)
  • "Illustrating the AADL Error Modeling Annex (v. 2) Using a Simple Safety-Critical Medical Device", Brian Larson, John Hatcliff, Kim Fowler, Julien Delange (.pdf)

Lectures

  • AADL EMv2 -- Introduction
  • AADL EMv2 -- Error Types and Library

Disaster Cast Podcast

Instructions

  • Instructions for Disaster Cast notes (.txt)

Medical Application Platforms

General Reading

  • John Hatcliff, Andrew King, Insup Lee, Alisdair Macdonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger, Julian Goldman. "Rationale and Architecture Principles for Medical Application Platforms", Proceedings of the 2012 International Conference on Cyber-Physical Systems, pp. 3-12, April, 2012. (.pdf)

Lectures

  • Introduction to Medical Application Platforms