Efficient type and memory safety for tiny embedded systems.
John RegehrNathan CoopriderWill ArcherEric EidePublished in: PLOS (2006)
Keyphrases
- embedded systems
- computing power
- safety critical
- processing power
- embedded devices
- low cost
- real time systems
- flash memory
- resource limited
- embedded software
- limited memory
- software systems
- real world
- real time image processing
- case study
- memory requirements
- instruction set
- knowledge management
- multi agent
- hardware software
- real time
- embedded real time systems