Patterns for safety-critical Java memory usage.

Juan Ricardo Rios Kelvin Nilsen Martin Schoeberl

Published in: JTRES (2012)

Keyphrases

memory usage
safety critical
formal methods
agent architecture
embedded systems
fault tolerant
safety analysis
memory requirements
memory footprint
nuclear power plant
support systems
real time
monitoring system
source code
object oriented
knowledge base
information systems
machine learning
databases