stpa topic

List stpa repositories

gaphor

1.7k
Stars
187
Forks
Watchers

Gaphor is the simple modeling tool

verified publisher icon gaphor

mbeddr.formal

23
Stars
14
Forks
Watchers

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

verified publisher icon mbeddr

XSTAMPP

28
Stars
17
Forks
Watchers

XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different ar...

verified publisher icon SE-Stuttgart