Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems.
P. DavidT. PlancheA. CorrégéJ.-F. ChanePublished in: Ada-Europe (1995)
Keyphrases
- fault tolerant
- safety critical
- distributed systems
- fault tolerance
- real time
- high assurance
- load balancing
- computer systems
- formal methods
- real time systems
- state machine
- high availability
- mobile agent system
- adaptive systems
- embedded systems
- mobile computing
- source code
- message passing
- complex systems
- interconnection networks
- response time
- fault isolation
- software engineering