Page tree
Skip to end of metadata
Go to start of metadata

Risk analysis of systems such as cars or aircraft is important to prevent injuries or death. One relatively new technique is System-Theoretic Process Analysis (STPA), which focuses on unsafe interactions between system components. In order to identify such unsafe control actions, a context table is created based on the process model variables of the controller.
Example of a context table:

The "Hazardous?"-columns are filled out with so called "Rules". The STPA VS Code Extension offers a DSL in which an analysis can be done textually including the defintion of such Rules and the context table is generated automatically. The problem is that the table can get very large with increasing variable numbers. That is where logical simplification should help. Its goal is to merge rows where the value of one or more variables can be set to "ANY" because the "Hazardous"-columns are equal. Applying logical simplification to the example leads to the following:

The goal of this thesis is to find ways to determine which rows of a given context table can be merged and compare the complexity.

STPA VS Code Extension

(kieler/stpa (github.com))

Goals

  • Find ways to determine which rows of a given context table can be merged

  • Compare the complexity of the approaches in regard to time and memory

  • Optional: implement the best approach

Scope

Master's Thesis

Related Work/Literature

Involved Languages/Technologies

Supervised by

Jette Petzold
jep@informatik.uni-kiel.de

  • No labels