Multi-core cyclic executives for safety-critical systems.

Calvin Deutschbein Tom Fleming Alan Burns Sanjoy K. Baruah

Published in: Sci. Comput. Program. (2019)

Keyphrases

safety critical
formal methods
safety analysis
nuclear power plant
embedded systems
fault tolerant
management system
agent architecture
support systems
intelligent systems
learning systems
regulatory requirements