Towards Safety Critical Middleware for Avionics Applications.
D. A. HaverkampR. J. RichardsPublished in: LCN (2002)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- embedded systems
- nuclear power plant
- agent architecture
- safety analysis
- distributed systems
- support systems
- regulatory requirements
- context awareness
- adaptive systems
- mobile agents
- machine learning
- real time
- load balancing
- context aware
- knowledge acquisition
- cooperative
- e learning
- databases