Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis
Thesis (Ph. D.)--Massachusetts Institute of Technology, Engineering Systems Division, 2013.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/81055 |
| _version_ | 1826207188220116992 |
|---|---|
| author | Thomas, John P., IV |
| author2 | Nancy. G. Leveson. |
| author_facet | Nancy. G. Leveson. Thomas, John P., IV |
| author_sort | Thomas, John P., IV |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Engineering Systems Division, 2013. |
| first_indexed | 2024-09-23T13:45:44Z |
| format | Thesis |
| id | mit-1721.1/81055 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:45:44Z |
| publishDate | 2013 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/810552019-04-11T13:31:22Z Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis Thomas, John P., IV Nancy. G. Leveson. Massachusetts Institute of Technology. Engineering Systems Division. Massachusetts Institute of Technology. Engineering Systems Division. Engineering Systems Division. Thesis (Ph. D.)--Massachusetts Institute of Technology, Engineering Systems Division, 2013. Cataloged from PDF version of thesis. Includes bibliographical references (p. 223-232). Systems Theoretic Process Analysis (STPA) is a powerful new hazard analysis method designed to go beyond traditional safety techniques-such as Fault Tree Analysis (FTA)-that overlook important causes of accidents like flawed requirements, dysfunctional component interactions, and software errors. Although traditional techniques have been effective at analyzing and reducing accidents caused by component failures, modem complex systems have introduced new problems that can be much more difficult to anticipate, analyze, and prevent. In addition, a new class of accidents, component interaction accidents, has become increasingly prevalent in today's complex systems and can occur even when systems operate exactly as designed and without any component failures. While STPA has proven to be effective at addressing these problems, its application thus far has been ad-hoc with no rigorous procedures or model-based design tools to guide the analysis. In addition, although no formal structure has yet been defined for STPA, the process is based on a control-theoretic framework that could be formalized and adapted to facilitate development of automated methods that assist in analyzing complex systems. This dissertation defines a formal mathematical structure underlying STPA and introduces a procedure for systematically performing an STPA analysis based on that structure. A method for using the results of the hazard analysis to generate formal safety-critical, model-based system and software requirements is also presented. Techniques to automate both the STPA analysis and the requirements generation are introduced, as well as a method to detect conflicts between safety requirements and other functional model-based requirements during early development of the system. by John P. Thomas IV. Ph.D. 2013-09-24T19:39:51Z 2013-09-24T19:39:51Z 2013 2013 Thesis http://hdl.handle.net/1721.1/81055 857791969 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 232 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Engineering Systems Division. Thomas, John P., IV Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis |
| title | Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis |
| title_full | Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis |
| title_fullStr | Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis |
| title_full_unstemmed | Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis |
| title_short | Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis |
| title_sort | extending and automating a systems theoretic hazard analysis for requirements generation and analysis |
| topic | Engineering Systems Division. |
| url | http://hdl.handle.net/1721.1/81055 |
| work_keys_str_mv | AT thomasjohnpiv extendingandautomatingasystemstheoretichazardanalysisforrequirementsgenerationandanalysis |