Login

Projects

Projects

Current Projects
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
REASSURE

REASSURE

Secure Runtime Verification for Reliable Real-Time Embedded Software
NORTE-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.
PReFECT

PReFECT

Predictable Multiprocessor Platforms for Embedded Safety Critical Systems
POCI-01-0145-FEDER-029119
The PReFECT project will address the following challenges with respect to the introduction of multicore processors in safety-critical systems: - model and analyze the timing interference generated by the hardware resources shared between cores (e.g., caches, interconnect and I/O devices); - propose runtime mechanisms and scheduling solutions to mitigate the unpredictability of COTS multicore processors by controlling the interference between cores; - develop tools for the automatic system configuration before deployment.
FLEXIGY

FLEXIGY

Energy Flexibility Services Platform
Projeto 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.
ARNET

ARNET

Airborne Relaying Networks for Reliable and Secure Mobile Communications
POCI-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.
5GSDN

5GSDN

MAC-PHY cross-layer design and multi-objective optimisation of 5G Software defined networks
POCI-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

Productive4.0

Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycle
Grant 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

SCOTT

Secure COnnected Trustable Things
Grant 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

DSGrid

Digital Systems Technology for Next Generation Grid Automation
POCI-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

ENABLE-S3

European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
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

SafeCOP

Safe Cooperating Cyber-Physical Systems using Wireless Communication
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.