Generation of correct-by-construction code from design models for embedded systems.
Federico CiccozziAntonio CicchettiMikael KrekolaMikael SjödinPublished in: SIES (2011)
Keyphrases
- embedded systems
- embedded real time systems
- low cost
- embedded software
- computing power
- hw sw
- embedded devices
- processing power
- consumer electronics
- resource limited
- real time image processing
- design process
- hardware software
- real time systems
- field programmable gate array
- real time
- cooperative
- metamodel
- computational power
- design methodology
- software engineering
- source code
- case study