Online Protocol Testing for FPGA Based Fault Tolerant Systems.
Jiri TobolaZdenek KotásekJan KorenekTomás MartínekMartin StrakaPublished in: DSD (2007)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- safety critical
- state machine
- mobile agent system
- key distribution
- high availability
- management system
- intelligent systems
- computer systems
- load balancing
- high assurance
- embedded systems
- online learning
- hardware implementation
- finite state machines
- fine grained
- authentication protocol
- knowledge based systems
- low cost
- expert systems
- multi agent