Distributed real-time task monitoring in the safety-critical system Melody.
Horst F. WeddeJon A. LindGuido SeghertPublished in: ECRTS (1999)
Keyphrases
- safety critical
- real time
- fault tolerant
- nuclear power plant
- formal methods
- safety analysis
- agent architecture
- distributed systems
- regulatory requirements
- embedded systems
- support systems
- health monitoring
- cooperative
- multi agent
- adaptive systems
- monitoring system
- mobile agents
- peer to peer
- computing environments
- source code
- computational intelligence
- object oriented
- knowledge base