Reliability Verification of Fault-Tolerant Systems Design based on Mutation Analysis.
Fabian VargasEduardo BezerraA. TerrosoDaniel Barros Jr.Published in: SBCCI (1998)
Keyphrases
- fault tolerant
- distributed systems
- high assurance
- fault tolerance
- safety critical
- formal methods
- model checking
- high availability
- message passing
- embedded systems
- evolvable hardware
- design process
- operating system
- fault isolation
- formal verification
- functional verification
- genetic algorithm
- physical systems
- support systems
- complex systems
- multi agent