Developing safety critical Java applications with oSCJ/L0.

Ales Plsek Lei Zhao Veysel H. Sahin Daniel Tang Tomas Kalibera Jan Vitek

Published in: JTRES (2010)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
agent architecture
embedded systems
support systems
nuclear power plant
adaptive systems
real time
semi automatic
regulatory requirements
artificial intelligence
software engineering
open source