Towards a verification approach for reconfigurable embedded systems.

Fatma Krichen Amal Gassara Bechir Zalila Mohamed Jmaiel

Published in: ISCC (2012)

Keyphrases

embedded systems
low cost
field programmable gate array
smart camera
embedded devices
computing power
embedded software

processing power
real time systems
hardware software
embedded real time systems
hw sw
resource limited

hardware and software
model checking
real time image processing
software systems
safety critical
consumer electronics

computer simulation
protocol stack
real time
hardware implementation
multi agent
image processing