Chip-multiprocessor hardware locks for safety-critical Java.
Tórur Biskopstø StrømWolfgang PuffitschMartin SchoeberlPublished in: JTRES (2013)
Keyphrases
- safety critical
- multithreading
- embedded systems
- low cost
- vlsi implementation
- formal methods
- fault tolerant
- safety analysis
- nuclear power plant
- parallel computing
- single chip
- distributed memory
- agent architecture
- support systems
- regulatory requirements
- shared memory
- adaptive systems
- multi core processors
- open source
- software systems
- source code
- programming language
- object oriented
- real time
- hardware implementation
- field programmable gate array
- load balancing
- knowledge based systems