Cyclic executive for safety-critical Java on chip-multiprocessors.
Anders P. RavnMartin SchoeberlPublished in: JTRES (2010)
Keyphrases
- safety critical
- multithreading
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- agent architecture
- nuclear power plant
- distributed memory
- low cost
- support systems
- programming language
- shared memory
- regulatory requirements
- source code
- open source
- adaptive systems
- real time
- database applications
- object oriented
- case based reasoning
- management system
- cooperative
- information systems
- data mining
- databases
- database