A Process to Support Safety Analysis for a System-of-Systems.

Stephan Baumgart Joakim Fröberg Sasikumar Punnekkat

Published in: ISSRE Workshops (2020)

Keyphrases

safety analysis
safety critical
support systems
nuclear power plant
distributed systems
real time
cooperative
software engineering
decision support system
intelligent systems
knowledge based systems
complex systems
development process
symbolic model checking