P { margin-bottom: 0.08in; direction: ltr; widows: 2; orphans: 2; }A:link { color: rgb(0, 0, 255); }

A predominância dos sistemas embebidos é hoje em dia tão acentuada que a sociedade moderna seria incapaz de sobreviver sem a sua presença. A crescente penetração destes nas nossas infraestruturas chave tem suscitado constantes preocupações relativas à fiabilidade, integridade e segurança destes sistemas. Neste sentido, surgem à face da indústria quatro tecnologias principais para ultrapassar estes desafios, em que se engloba o processamento paralelo (multicore), circuito eletricamente programáveis (FPGA's), virtualização e ambientes de execução segura (TEE's). É neste contexto que se enquadra a presente dissertação, propondo-se a explorar uma das primeiras versões integradas de um hypervisor (SierraVisor) conjuntamente com um TEE (SierraTEE) sobre uma plataforma EPP (Extensible Processing Platform) multi-core híbrida (Xilinx Zynq®-7000). O foco incide sobre o kernel seguro minimalista SierraTEE que se pretende reestruturar seguindo uma abordagem orientada ao componente, com o objetivo de desenvolver um repositório IP-XACT que, integrado com um IDE, permita acelerar o desenvolvimento de aplicações.