Login

Projects

Projects

Current Projects
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

AMPERE

A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation
ICT-01-2019-RIA | grant nr. 871669
Complex, dependable and physically-entangled systems of systems must be supported by innovations to allow a significant reduction of the cost and complexity of system design targeting computing platforms composed of parallel heterogeneous architectures. Software development is one key challenge, as current programming tools do not fully support emerging processor architectures. Parallel and heterogeneous platforms are difficult to program and even more to optimise for the multiple conflicting criteria imposed by applications, such as performance, energy efficiency, real-time response, resiliency and fault tolerance. AMPERE addresses this challenge by incorporating model-driven engineering (MDE) as the key element for the construction of complex software architectures. MDE enables to efficiently capture system's functional and non-functional requirements, including multiple conflicting requirements, as well as enabling the use of domain specific model-driven languages (DSML) to further refine the description of cyber/physical interactions. 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. Moreover, AMPERE will provide computing software composed of a set of advanced run-time methods implementing monitoring and dynamic reconfiguration techniques, that will support the parallel execution to improve the overall system's efficiency, and guarantee that the non-functional requirements capture by the DSML are fulfilled. AMPERE advances will be integrated in a set of ready-touse tools and libraries, and validated through demonstration in two reference applications, from automotive and railway domains.

PANORAMA

Boosting Design Efficiency for Heterogeneous Systems
POCI-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. We will stand on the shoulder of giants by building on the meta-model developed in the AMALTHEA and AMALTHEA4public projects, taking results from projects such as TIMMO, Timmo2USE, ARAMiS I & II into account. Thereby, the enhanced meta-model must be a common and open standard to support develop-ment by diverse parties across organizations.
THERMAC

THERMAC

Thermal-aware Resource Management for Modern Computing Platforms in the Next Generation of Aircraft
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.
ELASTIC

ELASTIC

A Software Architecture for Extreme-ScaLe Big-Data AnalyticS in Fog CompuTIng ECosystems
H2020-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

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.
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.
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.
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.
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.
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.
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.
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
ECSEL 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

SafeCOP

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