A formal approach to collaborative modelling and co-simulation for embedded systems.
John S. FitzgeraldPeter Gorm LarsenKen G. PierceMarcel VerhoefPublished in: Math. Struct. Comput. Sci. (2013)
Keyphrases
- embedded systems
- hardware software
- low cost
- embedded devices
- resource limited
- computing power
- processing power
- embedded software
- real time systems
- real time image processing
- embedded real time systems
- hw sw
- software systems
- flash memory
- safety critical
- consumer electronics
- data structure
- communication technologies
- software engineering
- protocol stack