Show simple item record

dc.contributor.advisorNancy G. Leveson and John Thomas.en_US
dc.contributor.authorSuo, Dajiangen_US
dc.contributor.otherMassachusetts Institute of Technology. Engineering Systems Division.en_US
dc.date.accessioned2016-12-05T19:55:36Z
dc.date.available2016-12-05T19:55:36Z
dc.date.copyright2016en_US
dc.date.issued2016en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/105628
dc.descriptionThesis: S.M. in Engineering Systems, Massachusetts Institute of Technology, School of Engineering, Institute for Data, Systems, and Society, 2016.en_US
dc.descriptionCataloged from PDF version of thesis.en_US
dc.descriptionIncludes bibliographical references (pages 79-82).en_US
dc.description.abstractThe automotive industry has been observing a trend of integrating new features into old vehicle designs to provide more convenience and flexibility to customers. However, it can be challenging to ensure safety without the support of appropriate techniques and tools for hazard analysis and requirement engineering. Systems Theoretic Process Analysis (STPA) is a hazard analysis technique that has been developed at MIT. It is based on systems and control theory and aims at capturing more causal factors leading to accidents, including component interactions. So far, STPA has been successfully applied to various industries. While there are tools that allow engineers to document the results of hazard analysis based on STPA, there are no tools that provide guidance during the analysis. Also, although a method is proposed to generate requirements from an STPA analysis, no tools have been developed to support that process. This thesis illustrates how tools can provide support for hazard analysis and requirement generation based on STPA, based on the proof of concept of a software tool that was developed at MIT. This STPA tool assists STPA Step I analysis by applying logical simplification to the original Step I results and automatically generating the simplified requirement in formal and executable forms. The simplified requirements are easily understandable and address all of the unsafe control actions identified in the original STPA analysis. The use of the STPA tool is illustrated through a case study of automotive systems that include multiple features. The STPA tool generates simplified and formal requirements for each individual feature based on STPA Step I results. In addition, it is also used to check whether conflicts between features have been resolved and to identify exactly what decisions should be made jointly between multiple design teams.en_US
dc.description.statementofresponsibilityby Dajiang Suo.en_US
dc.format.extent107 pagesen_US
dc.language.isoengen_US
dc.publisherMassachusetts Institute of Technologyen_US
dc.rightsM.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.en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582en_US
dc.subjectInstitute for Data, Systems, and Society.en_US
dc.subjectEngineering Systems Division.en_US
dc.titleTool-assisted hazard analysis and requirement generation based on STPAen_US
dc.title.alternativeSystems Theoretic Process Analysisen_US
dc.typeThesisen_US
dc.description.degreeS.M. in Engineering Systemsen_US
dc.contributor.departmentMassachusetts Institute of Technology. Institute for Data, Systems, and Society.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Engineering Systems Division.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Engineering Systems Division
dc.contributor.departmentMassachusetts Institute of Technology. Institute for Data, Systems, and Society
dc.identifier.oclc963179946en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record