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
fDate :
Aug. 31 2009-Sept. 4 2009
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;
Conference_Titel :
Requirements Engineering Conference, 2009. RE '09. 17th IEEE International
Conference_Location :
Atlanta, GA
Print_ISBN :
978-0-7695-3761-0