Hypervisors can be used to increase the level of security of a computer system. However, like any other software, they certainly contain vulnerabilities that could be exploited. While it helps to incorporate security features on a hypervisor, that will not necessarily make it secure. The robustness of a hypervisor needs to be enforced from an early stage (e.g., its design). System level design is a very complex and challenging design process because it requires integration across different domains and time consuming validation. To manage such complexity, a mechanism for system level design automation that can assist in validation and promote design reuse and rapid prototyping is required.

The purpose of this work is to develop a platform to aid system level design during design space exploration and system implementation through automation. This tool will tackle both system level and lower level artifacts integration through domain-driven developed ontologies and a DSL infrastructure. At system level, it will perform validation over artifacts’ connections. At lower level, it will perform automation of code generation, compilation, testing and deployment tasks, which will require external tools integration.