Multiprocessor Priority Ceiling Emulation for Safety-Critical Java.
Tórur Biskopstø StrømMartin SchoeberlPublished in: JTRES (2015)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- nuclear power plant
- safety analysis
- embedded systems
- agent architecture
- programming language
- open source
- support systems
- source code
- object oriented
- regulatory requirements
- database applications
- adaptive systems
- cooperative
- database design
- management system
- web services
- databases