CPAL: high-level abstractions for safe embedded systems.
Nicolas NavetLoïc FejozPublished in: DSM@SPLASH (2016)
Keyphrases
- embedded systems
- high level abstractions
- low level
- low cost
- embedded devices
- embedded software
- computing power
- processing power
- resource limited
- real time image processing
- hardware software
- real time systems
- hw sw
- field programmable gate array
- low level features
- embedded real time systems
- software systems
- high level
- consumer electronics
- safety critical
- communication technologies
- flash memory
- visual information
- visual features
- higher level
- protocol stack