The shift to multicores in real-time and safety-critical systems.
Selma SaidiRolf ErnstSascha UhrigHenrik TheilingBenoît Dupont de DinechinPublished in: CODES+ISSS (2015)
Keyphrases
- safety critical
- real time
- formal methods
- safety analysis
- fault tolerant
- nuclear power plant
- support systems
- embedded systems
- agent architecture
- regulatory requirements
- multi agent systems
- adaptive systems
- learning systems
- decision support system
- distributed systems
- low cost
- health monitoring
- control system
- expert systems
- cooperative