Adaptive Fault Tolerant Systems: Reflective Design and Validation.
Marc-Olivier KillijianJean-Charles FabrePublished in: IPDPS (2003)
Keyphrases
- fault tolerant
- distributed systems
- safety critical
- high assurance
- fault tolerance
- building blocks
- digital circuits
- knowledge based systems
- high availability
- evolvable hardware
- operating system
- design process
- intelligent agents
- complex systems
- intelligent systems
- embedded systems
- design tools
- formal methods
- multi agent
- state machine
- artificial intelligence