Hardware runtime verification of embedded software in SoPC.

Dimitry Solet Jean-Luc Béchennec Mikaël Briday Sébastien Faucou Sébastien Pillement

Published in: SIES (2016)

Keyphrases

embedded software
embedded systems
low cost
software implementation
development projects
hardware implementation
software architecture
real time
reconfigurable hardware
hardware software
field programmable gate array
embedded processors
software systems
sequence diagrams
databases
artificial intelligence