View Proposal

---

Proposer

Andrew Ireland

Title

A Smart Hazard Analysis Assistant

Goal

Provide tool support for the STPA Hazard Analysis Technique

Description

System-Theoretic Process Analysis (STPA) (Leveson, 2011) is a leading hazard analysis technique. Developed at MIT, STPA 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. STPA is heavily texted based, which makes it vulnerable to errors and omissions. A key aim of this project will be to build a tool that supports the verification (e.g., consistency checking via SAT Solving) and validation (e.g., via a LLM) of STPA applications.

Resources

Leveson, N. G. (2011). Engineering a Safer World. MIT. Leveson, N. G., & Thomas, J. P. (2018). STPA Handbook. LLM and an appropriate programming language, i.e., library support for propositional reasoning. SAT Solver: https://simewu.com/SAT-solver/ SAT Solver: https://homes.cs.washington.edu/~kevinz/sat-solver/

Background

An interest in system safety and critical systems

Url

External Link

Difficulty Level

Moderate

Ethical Approval

None

Number Of Students

1

Supervisor

Andrew Ireland

Keywords

system safety, hazard analysis

Degrees

Bachelor of Science in Computer Science
Master of Engineering in Software Engineering
Master of Science in Software Engineering