Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment.

Shuai Zhao Andy J. Wellings Stephan Erbs Korsholm

Published in: JTRES (2015)

Keyphrases

safety critical
real time
decision support
nuclear power plant
formal methods
support systems
embedded systems
databases
object oriented
regulatory requirements
agent architecture
fault tolerant
open source
low cost
software engineering
safety analysis
multi agent systems