Approach to component based synthesis of fault tolerant software.
Behrooz ParhamiPublished in: Informatica (Slovenia) (2001)
Keyphrases
- fault tolerant
- fault tolerance
- safety critical
- distributed systems
- software systems
- load balancing
- high assurance
- software development
- state machine
- source code
- high availability
- expert systems
- software components
- artificial intelligence
- fine grained
- development process
- software engineering
- user interface
- interconnection networks