Are safety-critical systems really survivable to attacks?

Helber Silva Marco Vieira Augusto Neto

Published in: SysCon (2023)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
adaptive systems
artificial intelligence
intelligent systems
learning systems
regulatory requirements