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 programmingPOCI-
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.
CRUAV
Cooperative Trajectory Planning for Real-Time Surveillance in UAV-assisted Intelligent Transportation SystemsCMU-EXPL 2019
This project investigates cooperative Unmanned Aerial Vehicles (UAVs), a.k.a. drones, for real-time surveillance of intelligent transportation systems in smart cities.
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.
PANORAMA
Boosting Design Efficiency for Heterogeneous SystemsPOCI-01-0247-FEDER-040194 | grant nr. 40194
The goal of Panorama is to research into model-based methods and tools to master design and development of heterogeneous systems by heterogeneous parties, and provide best practice and guidance for development. To that end, the main line of action is extending the scope of current system level approaches by enhancing existing abstract performance meta-models to be suitable for heterogeneous hardware, and heterogeneous function domains.
THERMAC
Thermal-aware Resource Management for Modern Computing Platforms in the Next Generation of AircraftClean Sky 2 H2020-CS2-CFP08-2018-01 nr. 832011
The main goal of the THERMAC project for the next generation of small aircraft transportation (SAT) systems is twofold: (i) to reduce the operational temperature and; (ii) to increase the guaranteed performance of the targeted computing platform, by means of software-based resource management.
RTEMS SMP
RTEMS Pre-Qualification (ECSS) for SMPRTEMS SMP is a 24-month project sponsored by the European Space Agency (ESA). The main goal of the project is to enable European space missions to use RTEMS SMP as a software product in criticality category C, following the ECSS standards (ECSS-E-ST-40C and ECSS-Q-ST-80C) for qualification purposes. The project has as partners Edisoft (the prime contractor), Lero (the Irish software research centre), Jena-Optronik GmbH and embedded brains GmbH.
ELASTIC
A Software Architecture for Extreme-ScaLe Big-Data AnalyticS in Fog CompuTIng ECosystemsH2020-ICT-2018-2020 | Grant nr 825473
The main goal of the THERMAC project for the next generation of small aircraft transportation (SAT) systems is twofold: (i) to reduce the operational temperature and; (ii) to increase the guaranteed performance of the targeted computing platform, by means of software-based resource management.
ARNET
Airborne Relaying Networks for Reliable and Secure Mobile CommunicationsPOCI-01-0145-FEDER-029074
ARNET aims to design wireless communication protocols to enhance network reliability and security in Airborne Relaying NETworks (ARNET) for Long-Term Evolution (LTE) users on the ground. ARNET will integrate advanced multi-hop wireless communication for relaying heterogeneous data of LTE users while ensuring service area coverage. Consequently, this project is a significant step towards realising the vision of an airborne relaying network.
PReFECT
Predictable Multiprocessor Platforms for Embedded Safety Critical SystemsPOCI-01-0145-FEDER-029119
The goal of this PReFECT is to optimize the usage of multicore processors in safety-cThe project results will be demonstrated in two industrial use-cases related to the avionics and automotive domains.ritical platforms while guaranteeing that all the timing requirements of the applications are respected. multicore processors in safety-critical. The project results will be demonstrated in two industrial use-cases related to the avionics and automotive domains.
FLEXIGY
Energy Flexibility Services PlatformProjeto nº 034067 (AAC nº 03/SI/2017)
Flexigy project will tackle the problem of providing flexibility for producers and consumers of energy allowing the implementation of Smart Energy Networks and innovative mechanisms of automated demand response and control, which offer significant potential to balance energy networks but still face major economic, legal and social barriers that hinders its full market adoption.
REASSURE
Secure Runtime Verification for Reliable Real-Time Embedded SoftwareNORTE-01-0145-FEDER-028550
The goal of REASSURE is to improve over the state-of-the-art Runtime Verification (RV) approaches for RTES by developing a new framework. The framework developed in REASSURE will be validated within an industrial context. EDISOFT, a company active in critical systems, will provide a relevant case study, based on the RTEMS space-qualified operating system, and will follow the research in the project, advising the project team.
5GSDN
MAC-PHY cross-layer design and multi-objective optimisation of 5G Software defined networksPOCI-01-0145-FEDER-032218
The 5GSDN project addresses the cross-layer design of 5G (fifth generation) industrial cyber-physical wireless networks. This will enable a set of remotely controlled embedded applications in industrial IoT (Internet-of-Things) with high criticality requirements. New industrial services will be offered over wider geographical areas at lower costs and with more flexible infrastructure.
Productive4.0
Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycleGrant nr. 737459
The main objective is to achieve improvement of digitizing the European industry by electronics and ICT. Ultimately, the project aims at suitability for everyday application across all industrial sectors – up to TRL8. What makes the project unique is the holistic system approach of consistently focusing on the three main pillars: digital automation, supply chain networks and product lifecycle management, all of which interact and influence each other.
SCOTT
Secure COnnected Trustable ThingsGrant nr. 737422
SCOTT will focus on wireless sensor and actuator networks and communication in the areas of mobility, building & home / smart infrastructure, production / industrial automation as well as health. SCOTT will enable efficient, trustworthy connectivity and facilitate ubiquity of intelligent embedded systems and systems of systems, thus essentially contributing to burning issues in Automated Vehicles, Industry 4.0, etc.
DSGrid
Digital Systems Technology for Next Generation Grid AutomationPOCI-01-0247-FEDER-011122 subcontract
DSGrid is a multidisciplinary project that brings together areas of knowledge of (i) power, (ii) automation and protection, (iii) communications, (iv) real-time systems, (v) embedded systems, (vi) cybersecurity and (vii) information and software technologies. This fully digital architecture will transform substation to an advanced integrated automation, control, protection, monitoring and information platform.
ENABLE-S3
European Initiative to Enable Validation for Highly Automated Safe and Secure SystemsECSEL JU Grant nr. 692455-2
ENABLE-S³ will pave the way for accelerated application of highly automated and autonomous systems in the mobility domains automotive, aerospace, rail and maritime as well as in the health care domain. The resulting validation framework will ensure Europeans Industry competitiveness in the global race of automated systems with an expected market potential of 60B€ in 2025.
SafeCOP
Safe Cooperating Cyber-Physical Systems using Wireless CommunicationECSEL JU Grant nr. 692529-2
SafeCOP targets safety-related Cooperating Cyber-Physical Systems (CO-CPS) characterised by use of wireless communication, multiple stakeholders, dynamic system definitions (openness), and unpredictable operating environments. SafeCOP will provide an approach to the safety assurance of CO-CPS, enabling thus their certification and development.