A State-based Extension to STPA for Safety-Critical System-of-Systems.

Stephan Baumgart Joakim Fröberg Sasikumar Punnekkat

Published in: ICSRS (2019)

Keyphrases

safety critical
embedded systems
safety analysis
fault tolerant
formal methods
agent architecture
management system
distributed systems
intelligent systems
finite state machines
adaptive systems
user interface
low cost
semi automatic
support systems