Modeling fault tolerant architectures with design diversity for secure systems.

Manuel Rodríguez Kevin A. Kwiat Charles A. Kamhoua

Published in: MILCOM (2015)

Keyphrases

mobile agent system
fault tolerant
distributed systems
fault tolerance
safety critical
high assurance
interconnection networks
design methodologies
load balancing
modeling language
state machine
heterogeneous platforms
high availability
formal methods
management system
multistage
complex systems
sensor networks