Reading

Software Engineering (Sommerville 2016)

  • Chapter 10: Dependable Systems
    • Dependability properties
    • Redundancy and diversity
    • Dependable processes (skim)
    • Formal methods and system dependability (skim)
  • Chapter 13: Safety Engineering
    • Safety-critical systems

Learning Objectives

  • Define the attributes of dependability and security:
    • availability
    • confidentiality
    • integrity
    • maintainability
    • reliability
    • safety
  • Illustrate the relationship among the attributes of dependability and security
  • Contrast the terms fault, error, and failure
  • List strategies to achieve dependability in the face of component failures
  • List the advantages of using formal methods in software development