Introduction to the special section on rigorous embedded systems design.
Joseph SifakisLothar ThieleReinhard WilhelmPublished in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
- embedded systems
- computing power
- hw sw
- low cost
- resource limited
- embedded software
- software systems
- embedded devices
- hardware software
- design process
- real time systems
- real time image processing
- processing power
- flash memory
- embedded real time systems
- image processing
- instruction set
- communication technologies
- efficient implementation
- software engineering
- query language