Strategic logics for collaborative embedded systems.
Damian KurpiewskiDiego MarmsolerPublished in: SICS Softw.-Intensive Cyber Phys. Syst. (2019)
Keyphrases
- embedded systems
- low cost
- computing power
- embedded devices
- resource limited
- embedded software
- software systems
- case study
- real time systems
- hardware software
- processing power
- real time image processing
- flash memory
- knowledge management
- embedded real time systems
- hw sw
- field programmable gate array
- consumer electronics
- safety critical
- modal logic
- real time
- resource allocation
- cyber physical systems
- data structure
- high level
- image processing
- protocol stack
- real world