Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems.

Jennifer Brings Marian Daun

Published in: ICSE (Workshops) (2020)

Keyphrases

safety analysis
cyber physical systems
nuclear power plant
control system
symbolic model checking
fault model
safety critical
social networks
physical world
cyber security
computer networks
artificial intelligence
formal methods
data mining
embedded systems
fault tolerant
network structure