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
Link To Document