Test platform for fault tolerant systems design properties verification.
Martin StrakaLukas MiculkaJan KastilZdenek KotásekPublished in: DDECS (2012)
Keyphrases
- fault tolerant
- high assurance
- distributed systems
- fault tolerance
- safety critical
- knowledge based systems
- formal methods
- load balancing
- database
- evolvable hardware
- state machine
- high availability
- software systems
- learning systems
- distributed architecture
- operating system
- computer systems
- fault isolation
- functional verification
- digital circuits
- test generation
- design process
- database management systems
- software engineering