Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.

Ajay Chhokra Nagabhushan Mahadevan Abhishek Dubey Gabor Karsai

Published in: SAM (2020)

Keyphrases

safety critical
nuclear power plant
cyber physical systems
embedded systems
fault tolerant
formal methods
cyber physical
real time
agent architecture
fault diagnosis
databases
information systems
mobile devices
modeling language
physical world
support systems