Towards a verification approach for reconfigurable embedded systems.
Fatma KrichenAmal GassaraBechir ZalilaMohamed JmaielPublished 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