State Space Reduction in SDL Models of Fault-Tolerant Systems.
Sabine M. BöhmKlaus EchtlePublished in: IPDPS (2004)
Keyphrases
- fault tolerant
- distributed systems
- state space
- fault tolerance
- safety critical
- complex systems
- high availability
- high assurance
- physical systems
- management system
- computational models
- parallel algorithm
- computer systems
- learning algorithm
- causal models
- software engineering
- probabilistic model
- metadata
- state machine
- artificial intelligence