The MILS architecture for high-assurance embedded systems.
Jim Alves-FossPaul W. OmanCarol TaylorScott HarrisonPublished in: Int. J. Embed. Syst. (2006)
Keyphrases
- embedded systems
- high assurance
- software systems
- hardware software
- software architecture
- embedded devices
- instruction set
- processing power
- low cost
- computing power
- protocol stack
- embedded software
- real time systems
- embedded real time systems
- resource limited
- hw sw
- safety critical
- field programmable gate array
- fault tolerant
- software engineering
- software development
- machine learning
- consumer electronics
- cyber physical systems
- distributed systems
- real time
- access control
- operating system
- smart camera
- flash memory
- real time image processing
- source code
- communication protocols
- information technology
- multi agent systems