TCX project: high assurance for secure embedded systems.
Thuy D. NguyenTimothy E. LevinCynthia E. IrvinePublished in: SIGBED Rev. (2005)
Keyphrases
- embedded systems
- high assurance
- software systems
- software development
- computing power
- processing power
- low cost
- resource limited
- real time image processing
- embedded devices
- embedded software
- software engineering
- software projects
- source code
- operating system
- hardware software
- fault tolerant
- real time systems
- case study
- access control
- communication technologies
- embedded real time systems
- safety critical
- consumer electronics
- flash memory
- field programmable gate array
- software components
- project management
- cooperative