Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems.
Abdoulaye GamatiéLaure GonnordPublished in: LCTES (2011)
Keyphrases
- embedded systems
- static analysis
- embedded software
- low cost
- hw sw
- computing power
- symbolic execution
- embedded devices
- resource limited
- embedded real time systems
- source code
- flash memory
- software systems
- design process
- building blocks
- signal processing
- real time systems
- field programmable gate array
- hardware software
- case study