Keyphrases
- fault tolerant
- safety critical
- real time
- fault tolerance
- distributed systems
- real time systems
- high assurance
- software systems
- state machine
- high availability
- load balancing
- dedicated hardware
- low cost
- fault isolation
- software development
- interconnection networks
- formal methods
- database systems
- mobile devices
- operating system
- embedded systems
- software components
- computer systems
- test cases