Safety-critical Java with cyclic executives on chip-multiprocessors.
Anders P. RavnMartin SchoeberlPublished in: Concurr. Comput. Pract. Exp. (2012)
Keyphrases
- safety critical
- multithreading
- formal methods
- fault tolerant
- agent architecture
- embedded systems
- nuclear power plant
- safety analysis
- support systems
- distributed memory
- source code
- adaptive systems
- low cost
- regulatory requirements
- shared memory
- database applications
- open source
- real time
- programming language
- cooperative
- case study
- knowledge acquisition
- object oriented
- web services
- databases