Instituto Superior de Engenharia do Porto

Description

The School of Engineering of the Polytechnic Institute of Porto (ISEP), Portugal, is a public higher education and research institution, and one of the largest schools of engineering in Portugal (6000 students), with a strong diversity of subject areas. The Software Technologies for Cyber-Physical Systems (SoftCPS) Laboratory of ISEP team has been focusing on R&D activity on embedded and real-time computing systems, comprising more than 20 years of experience on R&D in the design of safe and secure embedded systems.

CHERI Activities

SoftCPS@ISEP is developing safe and secure embedded systems by advancing state-of-the-art software technologies that are tightly aligned with modern hardware safety features. The lab explores high-integrity programming languages such as Ada and Rust to enforce memory safety, or real-time operating systems like Zephyr, enabling predictable, reliable execution in resource-constrained embedded environments, exploring emerging safety-oriented architectures such as CHERI, to enforce fine-grained spatial and temporal memory protection.