Multi-core Cyclic Executives for Safety-Critical Systems.

Calvin Deutschbein Tom Fleming Alan Burns Sanjoy K. Baruah

Published in: SETTA (2017)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
agent architecture
support systems
nuclear power plant
adaptive systems
distributed systems
regulatory requirements
learning systems
management system
knowledge representation
control system
expert systems
cooperative