Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.
Ramiro DemasiPablo F. CastroT. S. E. MaibaumNazareno AguirrePublished in: ATVA (2013)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- safety critical
- high assurance
- load balancing
- finite state machines
- learning systems
- message passing
- interconnection networks
- state machine
- complex systems
- operating system
- intelligent systems
- image quality
- management system
- mobile agent system
- wireless sensor networks