Nowadays embebbed systems are used in a substantial number of computer systems. The large number of hardware architectures and software systems emerge as an answer to the imposed requirements: it is aimed to balance costs and power consumption with computational power, while keeping functionalities.
To counterbalance, it is used a technique called virtualization, which supports the concurrent execution of multiple Virtual Machines on the same hardware processor, enabling the co-existence of multiple Operating Systems environments on single platform, also known as Guest Operating Systems.
This MSc thesis focus on the mechanism that grants the parallel and cooperative execution of multiple guest Guest Operating Systems, commonly called Inter-Partition Communication. Due to the special attention ARM Virtualization Extensions and TrustZone have gained special due to the ubiquitous presence of ARM processors into embedded systems domain, this mechanism will be implemented for a TrustZone-based hypervisor for real-time embedded systems, previously implemented by Sandro Pinto. The Inter-Partition Communication mechanism will follow a fashion also used at Xen hypervisor, in which is used the Direct Memory Access engine in order to accelerate the message exchange between Guests.
There is also a growing need to automate the final system's configuration and generation accordingly to user requirements, so the system will be modelled using a Domain Specific Language semantically-enriched by ontologies.