Hypervisors have several vulnerabilities that can compromise system’s security. A change in the original code, that runs at the boot sequence, reflects a threat to the reliability of any embedded system. Such an occurrence compromises the system by executing code for which it was not designed, which can be fatal to system’s integrity.
Secure boot aims to ensure that after system’s power up, the code that will be executed is the one for which the system was designed. Throughout this process, the code is validated in each step that precedes its execution enhancing system's security [1].
Therefore, this work aims to use a domain specific language, based on ontology, to model the security domain as well as the secure boot domain. Moreover, developing a secure boot for a hypervisor using techniques of authentication and identification, establishing a root of trust for the designed software.

[1] Microsemi, “Overview of Secure Boot With Microsemi SmartFusion2 FPGAs,” November 2013. [Online]. Available: http://www.microsemi.com/document-portal/doc_download/132874-overview-of-secure-boot-with-microsemi-smartfusion2-fpgas