Integration of task scheduling and file services in the safety-critical system MELODY.
Horst F. WeddeJon A. LindPublished in: ECRTS (1998)
Keyphrases
- safety critical
- regulatory requirements
- safety analysis
- fault tolerant
- embedded systems
- formal methods
- nuclear power plant
- agent architecture
- computing environments
- support systems
- web services
- adaptive systems
- user interface
- context aware
- real time
- ubiquitous computing
- learning process
- mobile devices
- machine learning
- data mining