Verification Approach of Metropolis Design Framework for Embedded Systems.
Xi ChenHarry HsiehFelice BalarinPublished in: Int. J. Parallel Program. (2006)
Keyphrases
- embedded systems
- low cost
- embedded software
- hw sw
- software systems
- real time image processing
- processing power
- real time systems
- safety critical
- computing power
- communication technologies
- cooperative
- multi core processors
- formal methods
- design rationale
- hardware software
- source code
- simulated annealing
- consumer electronics