A toolchain for safety-critical embedded processor programming using FPGAs.

Jonathan Kimmitt David J. Greaves Marcian N. Cirstea

Published in: INDIN (2015)

Keyphrases

safety critical
embedded systems
field programmable gate array
low cost
safety analysis
nuclear power plant
smart camera
programming language
software systems
regulatory requirements
fault tolerant
support systems
parallel architectures
formal methods
e learning
agent architecture
learning systems
cooperative