Formal Methods for Fault-Tolerant, Real-Time System Design.
Jack GoldbergPublished in: NATO ASI RTC (1992)
Keyphrases
- fault tolerant
- formal methods
- safety critical
- fault tolerance
- real time
- knowledge based systems
- distributed systems
- formal analysis
- load balancing
- artificial intelligence
- agent architecture
- model checking
- low cost
- design patterns
- embedded systems
- formal specification
- design process
- database systems
- state machine
- fault isolation