View Proposal


Proposer
Andrew Ireland
Title
STPA and its Tool Support
Goal
Investigate STPA, both as an approach of hazard analysis as well as its tool support.
Description
System-Theoretic Process Analysis (STPA) (Leveson, 2011) extends traditional hazard analysis techniques to include a range of causal factors that can affect system safety. A key goal of STPA is the identification of causal factors that give rise to unsafe control actions, which in turn could lead to hazards and ultimately an accident. The primary aims of this Master Class project is to, i) provide an introduction to STPA using its 2018 definition (Leveson & Thomas, 2018) that is pitched at prospective users, ii) research how successful STPA has been by researching the literature, and iii) investigate the computer-based tool support that exists for STPA practitioners. As part of this latter investigation, a sub aim will be to propose areas where new tool support could bring value added to the STPA approach.
Resources
Leveson, N. G. (2011). Enineering a Safer World. MIT. Leveson, N. G., & Thomas, J. P. (2018). STPA Handbook.
Background
An interest in the engineering of high integrity software intensive system and safety.
Url
External Link
Difficulty Level
Moderate
Ethical Approval
None
Number Of Students
0
Supervisor
Andrew Ireland
Keywords
Degrees
Master of Science in Software Engineering