Safety-critical Java level 2: motivations, example applications and issues.

Andy J. Wellings Matt Luckcuck Ana Cavalcanti

Published in: JTRES (2013)

Keyphrases

safety critical
programming language
fault tolerant
embedded systems
open source
formal methods
safety analysis
machine learning
artificial intelligence
case study
low cost
source code
knowledge acquisition
nuclear power plant