A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems.
Tobias DörrTimo SandmannJürgen BeckerPublished in: DSD (2020)
Keyphrases
- formal model
- embedded systems
- low cost
- embedded devices
- processing power
- computing power
- hardware software
- resource limited
- embedded software
- real time systems
- software systems
- real time image processing
- field programmable gate array
- embedded real time systems
- information security
- access control
- flash memory
- security properties
- random access
- communication technologies
- hw sw
- cooperative
- critical infrastructure
- safety critical
- network security