Inter-partition Information Flow Control for High-Assurance Embedded Systems.
Xia YangJian LeiGuang-ze XiongPublished in: CSIE (2) (2009)
Keyphrases
- embedded systems
- high assurance
- information flow control
- software systems
- source code
- software engineering
- operating system
- computing power
- embedded devices
- low cost
- access control
- embedded software
- real time image processing
- fault tolerant
- processing power
- real time systems
- resource limited
- safety critical
- software architecture
- embedded real time systems
- field programmable gate array
- software development
- distributed systems
- multi agent systems
- software components
- hardware software
- flash memory
- cooperative
- case study
- consumer electronics
- information flow
- wireless sensor networks
- hw sw
- artificial intelligence
- databases
- real time