Secure environment establishment for FPGA-based safety-critical systems.

Vyacheslav S. Kharchenko Andriy Kovalenko Vladimir V. Sklyar

Published in: EWDTS (2015)

Keyphrases

safety critical
embedded systems
formal methods
fault tolerant
safety analysis
agent architecture
real time
low cost
support systems
information systems
nuclear power plant
expert systems
learning systems
user interaction
intelligent systems
knowledge acquisition
decision support system
knowledge base