• DocumentCode
    2346305
  • Title

    Are Your Lights Off? Using Problem Frames to Diagnose System Failures

  • Author

    Tun, Thein Than ; Jackson, Michael ; Laney, Robin ; Nuseibeh, Bashar ; Yu, Yijun

  • Author_Institution
    PReCISE Res. Centre, Univ. of Namur, Namur, Belgium
  • fYear
    2009
  • fDate
    Aug. 31 2009-Sept. 4 2009
  • Firstpage
    343
  • Lastpage
    348
  • Abstract
    This paper reports on our experience of investigating the role of software systems in the power blackout that affected parts of the United States and Canada on 14 August 2003. Based on a detailed study of the official report on the blackout, our investigation has aimed to bring out requirements engineering lessons that can inform development practices for dependable software systems. Since the causes of failures are typically rooted in the complex structures of software systems and their world contexts, we have deployed and evaluated a framework that looks beyond the scope of software and into its physical context, directing attention to places in the system structures where failures are likely to occur. We report that (i) Problem Frames were effective in diagnosing the causes of failures and documenting the causes in a schematic and accessible way, and (ii) errors in addressing the concerns of biddable domains, model building problems, and monitoring problems had contributed to the blackout.
  • Keywords
    fault diagnosis; formal specification; formal verification; power engineering computing; power system faults; program diagnostics; system recovery; systems analysis; Canada; United States; failure diagnosis; power blackout; requirement engineering; software system; system documentation; Accidents; Buildings; Computer science; Condition monitoring; Design engineering; Documentation; Knowledge engineering; Power engineering and energy; Power engineering computing; Software systems; Problem Frames; System failures; failure analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering Conference, 2009. RE '09. 17th IEEE International
  • Conference_Location
    Atlanta, GA
  • ISSN
    1090-705X
  • Print_ISBN
    978-0-7695-3761-0
  • Type

    conf

  • DOI
    10.1109/RE.2009.31
  • Filename
    5328490