Real-Time Validation of Fault-Tolerant Mixed-Criticality Systems.
Stefano EspositoJacopo SiniMassimo ViolantePublished in: IOLTS (2018)
Keyphrases
- fault tolerant
- safety critical
- distributed systems
- fault tolerance
- real time
- load balancing
- high assurance
- control system
- learning systems
- management system
- low cost
- high availability
- expert systems
- state machine
- data structure
- peer to peer
- knowledge based systems
- transaction processing
- formal methods
- real time systems