AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware.

Christof Fetzer Ute Schiffel Martin Süßkraut

Published in: SAFECOMP (2009)

Keyphrases

safety critical
safety analysis
formal methods
commodity hardware
embedded systems
agent architecture
support systems
fault tolerant
information systems
computing systems
learning systems
parallel execution
open source
high end
data model
database systems
case study