Work-in-Progress: Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems.

Dakai Zhu Steven Drager Matthew Anderson Hakan Aydin

Published in: RTSS (2022)

Keyphrases

safety critical
formal methods
support systems
safety analysis
agent architecture
nuclear power plant
fault tolerant
embedded systems
cooperative
adaptive systems
e learning
user interface
knowledge based systems
regulatory requirements