Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems.
Romain JobredeauxHeber Herencia-ZapanaNatasha A. NeogiEric FeronPublished in: CDC (2012)
Keyphrases
- fault tolerant
- distributed systems
- fault tolerance
- safety critical
- high assurance
- load balancing
- distributed environment
- learning systems
- interconnection networks
- state machine
- operating system
- finite state machines
- high availability
- data replication
- mobile agents
- software engineering
- message passing
- expert systems
- mobile agent system
- artificial intelligence