Research
"You cannot judge accidents by the amount
of death per accident."
--Ellen G. Engleman, Chair, NTSB
|
Research"You cannot judge accidents by the amount
of death per accident." |
I am currently researching
incident reporting techniques for failures involving safety-critical software
systems under the direction of my advisor, Dr. John Knight, and Michael Holloway of the
NASA Langley Research Center.
Below are some of the research publications I've authored in PDF format.
You will need the free Adobe® Acrobat® Reader® to view these
documents. If you don't have Acrobat, you may click on the badge to the right
to download it.
| File | Description |
|---|---|
|
A Taxonomy of Fallacies in System Safety Arguments Greenwell, William S., C. Michael Holloway, and John C. Knight Submitted to DSN-2005, the International Conference on Dependable Systems and Networks, Yokohama, Japan (June 2005). |
|
|
Specification and Analysis of Data for Safety-Critical Systems Knight, John C., Elisabeth A. Strunk, William S. Greenwell, and Kimberly S. Wasson To appear at ISSC 2004, the 22nd International System Safety Conference, Providence, RI (Aug 2004). |
|
|
Failure Analysis and the Safety-Case Lifecycle Greenwell, William S., Elisabeth A. Strunk, and John C. Knight To appear at HESSD 2004, the IFIP Working Conference on Human Error, Safety and System Development, Toulouse, France (Aug 2004). |
|
|
Risk-based Classification of Incidents Greenwell, William S., John C. Knight, and Elisabeth A. Strunk Presented at IRIA03, the 2nd Annual Workshop on the Investigation and Reporting of Incidents and Accidents, Williamsburg, VA (Sep 2003). |
|
|
What Should Aviation Safety Incidents Teach Us? Greenwell, William S. and John C. Knight CS Technical Report #CS-2003-12 |
|
|
Pandora: An Approach to Analyzing Safety-Related Digital System Failures Greenwell, William S. A dissertation proposal presented in partial fulfillment of the requirements for the doctor of philosophy degree. 8 April 2005. |
|
|
Learning Lessons from Accidents and Incidents Involving Safety-Critical Software Systems Greenwell, William S. Submitted in partial fulfillment of the requirements for the degree of Master of Science, Computer Science, May 2003. |
Click on the PDF icon above to download my master's thesis entitled "Learning Lessons from Accidents and Incidents Involving Safety-Critical Software Systems." This thesis is a compilation of the research I've done concerning the Korean Air flight 801 and British Airways flight 027 incidents as well as other research into risk-based incident classification schemes.
I've published the slides to some of the presentations I've given below. The slide shows are in Microsoft PowerPoint® format. If you don't have PowerPoint, you may download the PowerPoint Viewer.
| File | Description |
|---|---|
|
Instrument Landing System An overview of the Instrument Landing System (ILS) used in aviation |
|
|
Collision Avoidance An overview of the history and behavior of the FAA's Traffic Alert / Collision Avoidance System |
|
|
FAA Oversight of Safety-Critical Software Systems: A Case Study An analysis of the FAA's management of the Minimum Safe Altitude Warning System (MSAW) in light of the Korean Air flight 801 accident in Guam on August 6, 1997 |
|
|
False Advice An analysis of the design faults in TCAS that led to a near-collision between two Boeing 747s over China on June 28, 1999 as well as the investigations that ensued |
|
|
Risk-based Classification of Incidents Slideshow to accompany the paper by the same name Presented at IRIA03, the 2nd Annual Workshop on the Investigation and Reporting of Incidents and Accidents, Williamsburg, VA (Sep 2003). |
