Projects
Current Projects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ADANET
Autonomous Drones Assisted Internet of Things NetworksPOCI-
This project aims to design a reliable and secure drones-assisted IoT network, where a swarm of autonomous drones are employed to hover over the area of interest to collect sensory data from the IoT nodes. ADANET will integrate deep reinforcement learning, federated learning, wireless communication security, and optimization techniques for the joint cruise control and data collection.
IBEX
Quantitative methods for cyber-physical programming
FLOYD
5G/SDN Intelligent Systems For LOw latencY V2X communications in cross-Domain mobility applicationsAAC nº 04/SI/2019 - Grant nr 045912
FLOYD aims at building a technological stack offering high-performance services providing seamless connectivity and computing services to vehicles.
RETINA
REal-Time support Infrastructure and Energy management for Intelligent carbon-Neutral smArt citiesNORTE-01-0145-FEDER-000062
The concept of Smart Cities encompasses a collection of applications and services meant to improve the overall efficiency of the city's processes, and ultimately the well-being of the citizens. The RETINA project will address complementary aspects of Support Infrastructure for Smart City (SISC) applications, both at the level of enabling technologies as well as on selected smart city applications.
MIRAI
Machine intelligence techniques for smart and sustainable planning and operation IoT and Edge computing applicationsMIRAI Framework Building Blocks (MFBB) based on AI techniques will enable the smart and sustainable planning and operation of IoT and edge computing applications. This will supplement the traditional vertical scaling approach to the cloud with the horizontal scaling of IoT and edge computing applications amongst edge devices.
FLY-PT
Mobilizar a indústria aeronáutica nacional para a disrupção no transporte aéreo urbano do futuroAviso 14/SI/2019, Mobilizador nr. 46079
The FLY.PT project aims to develop products and services in an integrated way and with a unique global vision, based on a demonstrator of an urban and electric multimodal transport system. This new transport system combines an autonomous electric vehicle with an autonomous aerial vehicle by coupling / uncoupling a passenger cabin, allowing for horizontal and vertical mobility with minimal passenger intervention.
InSecTT
Intelligent Secure Trustable ThingsH2020-ECSEL-2019-1-IA, Grant nr 876038
InSecTT will foster cooperation between big industrial players from various domains, a number of highly innovative SMEs distributed all over Europa and cutting-edge research organisations and university. The project features a big variety of industry-driven use cases embedded into various application domains, i.e. smart infrastructure, building, manufacturing, automotive, aeronautics, railway, urban public transport, maritime as well as health
ADACORSA
Airborne data collection on resilient system architecturesH2020-ECSEL-2019-2-RIA, Grant Nr 876019
ADACORSA targets to strengthen the European drone industry and increase public and regulatory acceptance of BVLOS (beyond visual line-of-sight) drones, by demonstrating technologies for safe, reliable and secure drone operation in all situations and flight phases.
VALU3S
Verification and Validation of Automated Systems’ Safety and SecurityIn VALU3S, 13 use cases with specific safety, security and privacy requirements will be studied in detail. Several state-of-the-art V&V methods will be investigated and further enhanced in addition to implementing new methods aiming for reducing the time and cost needed to conduct V&V of automated systems. The V&V methods investigated are then used to design improved process workflows for V&V of automated systems.
AMPERE
A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisationICT-01-2019-RIA | grant nr. 871669
The vision of AMPERE is that there is a clear necessity of developing a new generation of code synthesis methods and tools capable to implement correct-by-construction systems, in which the constraints captured by the system model are efficiently transformed to the parallel programming models supported by the underlying parallel heterogeneous platform, whilst providing the level of performance required.