Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool.
Guido PennellaChristian Di BiagioAlessandro ColicchiaGianfranco PesceGiovanni CantonePublished in: ISPA Workshops (2006)
Keyphrases
- distributed systems
- safety critical
- fault tolerant
- goal driven
- nuclear power plant
- safety analysis
- embedded systems
- load balancing
- distributed environment
- distributed computing
- software product line
- formal methods
- agent architecture
- real time
- monitoring system
- mobile agents
- support systems
- service composition
- database
- sensor networks
- multi agent
- artificial intelligence
- low cost