Towards verifiable deeply embedded systems.

Terry Tidwell Christopher D. Gill

Published in: SIGBED Rev. (2008)

Keyphrases

embedded systems
low cost
resource limited
embedded software
hardware software
processing power
computing power
real time systems
real time image processing
embedded devices
software systems
flash memory
safety critical
embedded real time systems
hw sw
field programmable gate array
protocol stack