Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems.
Alessio SaccoGuido MarchettoRiccardo SistoFulvio ValenzaPublished in: WFCS (2020)
Keyphrases
- fault tolerance
- fault management
- single point of failure
- fault tolerant
- distributed systems
- peer to peer
- high availability
- load balancing
- distributed computing
- high scalability
- network management
- component failures
- knowledge based systems
- computer systems
- formal methods
- high performance computing
- communication networks
- intelligent systems
- computer networks
- data collection
- error detection
- critical infrastructure
- wireless sensor networks
- expert systems
- data sets