Functional Uncertainty in Real-Time Safety-Critical Systems.

Sanjoy K. Baruah Alan Burns David Griffin

Published in: RTNS (2022)

Keyphrases

safety critical
real time
formal methods
safety analysis
fault tolerant
embedded systems
agent architecture
nuclear power plant
support systems
adaptive systems
regulatory requirements
low cost
artificial intelligence
model checking
learning systems
decision support
knowledge acquisition
open source
cooperative