Can we rely on COTS microkernels for building fault-tolerant systems?

Frédéric Salles Jean Arlat Jean-Charles Fabre

Published in: FTDCS (1997)

Keyphrases

fault tolerant
distributed systems
fault tolerance
safety critical
load balancing
building blocks
software components
management system
high availability
interconnection networks
state machine
high assurance
low cost
third party
finite state machines
limited resources