The design and simulation of software fault tolerant mechanisms for application in distributed processing systems.
Geof F. CarpenterDavid J. HoldingAndy M. TyrrellPublished in: Microprocess. Microprogramming (1988)
Keyphrases
- fault tolerant
- safety critical
- high assurance
- distributed processing
- distributed systems
- fault tolerance
- industrial strength
- embedded systems
- design tools
- formal methods
- computer systems
- software systems
- support systems
- load balancing
- design patterns
- parallel processing
- computing environments
- code generation
- complex systems
- efficient implementation
- computing systems
- operating system
- case study