A high-level synthesis approach to design of fault-tolerant systems.
Giacomo BuonannoM. PugassiMariagiovanna SamiPublished in: VTS (1997)
Keyphrases
- fault tolerant
- high level synthesis
- distributed systems
- fault tolerance
- safety critical
- high assurance
- knowledge based systems
- formal methods
- load balancing
- intelligent systems
- fault isolation
- computer aided
- embedded systems
- computing systems
- support systems
- high availability
- information systems
- database management systems
- case study
- mobile agent system
- state machine
- probabilistic model
- parallel processing
- design process