Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.
Amit VasudevanSagar ChakiLimin JiaJonathan M. McCuneJames NewsomeAnupam DattaPublished in: IEEE Symposium on Security and Privacy (2013)
Keyphrases
- modular architecture
- implementation issues
- main contribution
- conceptual framework
- design principles
- case study
- highly flexible
- design methodology
- software architecture
- real time
- efficient implementation
- modular design
- formal methods
- formal verification
- platform independent
- software development process
- layered architecture
- functional verification
- core components
- circuit design
- design considerations
- specification language
- simulation environment
- computational framework
- design decisions
- virtual machine
- engineering design
- design process
- user interface