A Rule-based Methodology for Hardware Configuration Validation in Embedded Systems.
Lin LiPhilipp WagnerRamesh RamaswamyAlbrecht MayerThomas WildAndreas HerkersdorfPublished in: SCOPES (2016)
Keyphrases
- embedded systems
- low cost
- computing power
- embedded devices
- embedded software
- field programmable gate array
- hardware software
- resource limited
- processing power
- real time systems
- real time image processing
- safety critical
- software systems
- embedded real time systems
- computing platform
- consumer electronics
- flash memory
- real time
- communication technologies
- design methodology
- hw sw
- software development
- high level