Utilising Redundancy to Enhance Security of Safety-Critical Systems.

Elena Troubitsyna

Published in: SAFECOMP Workshops (2023)

Keyphrases

safety critical
embedded systems
fault tolerant
formal methods
safety analysis
support systems
nuclear power plant
real time
user interface
management system
low cost
knowledge based systems
information security
agent architecture