News
What’s new in the vortex
TECH-BROKERAGE NORTE DE PORTUGAL – GALICIA | Industry 4.0
Joana Maria was invited to participate in the event Tech-Brokerage Norte de Portugal - Galicia, an event focused in prioritize R&D’s fields in the...
VORTEX FLOW – Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems
On May 2021, Syed Rashid presented, at Vortex-CoLab, the work he has developed in his Ph.D. about bounding the contention due to sharing of hardware resources...
VORTEX FLOW | VeriFast: a separation-logic-based verifier for multithreaded pointer-manipulating C and Java programs
On May 2021, Bart Jacobs presented the operation mode of VeriFast at Vortex, as well as shared an overview of the verification tasks, that with this tool, he...
Vortex-CoLab Becomes a Community Member of RISC-V International
Vortex-CoLab has recently become a Community Member of RISC-V International, a non-profit corporation that is driving the adoption and the implementation of...
SecUp – Over The Air (OTA) Software/Firmware
Vortex has launched a new project: SecUp, which aims to implement Secure OTA following the Uptane framework. It involves the understanding of the security...
VORTEX FLOW | The High-Assurance ROS Framework
In April 2021, André Santos, a Ph.D. student of the MAP-i Doctoral Program at the University of Minho, shared his work on High-Assurance ROS (HAROS). During...
VORTEX FLOW | Data Capture in UAV-enabled IOT
On March 2021, Vortex organized a virtual talk with its associates, where Dr. Kai Li, a senior research scientist and project leader at CISTER, shared his...
VORTEX FLOW | How 5G Space-based networks will change our lives
Ricardo Faria, from Capgemini Engineering R&I, shared at VORTEX FLOW the work he has been developing on 5G Space. With the main purpose of explaining how...
Software-Defined Vehicles: The new paradigm in the Automotive Industry
Rodrigo Maia, CEO Vortex-CoLab, has participated in a webinar on the 23rd February, and, together with Peter Fintl, Director of Technology and Innovation at...
STEROID Project Kick-off
Vortex-CoLab won a new challenging project sponsored by Portugal 2020: STEROID: Verification and Validation of ADAS Components for Intelligent Vehicles of the...