Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2025

Supporting Soft Real-Time Tasks in Zephyr With Constant Bandwidth Servers

Autores
Paschoaletto, A; Sousa, P; Pinho, LM; Carvalho, T;

Publicação
2025 28th International Symposium on Real-Time Distributed Computing (ISORC)

Abstract
The Constant Bandwidth Server (CBS) is a mechanism used in real-time systems to enable aperiodic soft realtime tasks with unknown execution parameters to run under a dynamic scheduling policy such as Earliest Deadline First (EDF), while still ensuring schedulability by using a bandwidth reservation strategy. This paper proposes an approach to extend the Zephyr open-source real-time operating system, currently maintained by the Linux Foundation, to support aperiodic tasks with CBS. The paper provides the proposed architecture and the design and implementation of the CBS mechanisms in the operating system, which are then evaluated in two test cases in an embedded platform. © 2025 Elsevier B.V., All rights reserved.

2025

Survey about Teachers' Perspective on Software Testing Education

Autores
Tramontana, P; Marín, B; Paiva, ACR; Mendes, A; Vos, TEJ; Cammaerts, F; Snoeck, M; Saadatmand, M; Fasolino, AR;

Publicação

Abstract

2025

Electricity demand forecasting in green ports: Modelling and future research directions

Autores
Carrillo-Galvez, A; do Carmo, F; Soares, T; Mourao, Z; Ponomarev, I; Araújo, J; Bandeira, E;

Publicação
TRANSPORT POLICY

Abstract
Recently, there has been growing attention on the decarbonisation of maritime transport, particularly regarding the landside operations at ports. This has spurred the development and implementation of strategies and policies aimed at enhancing the environmental performance of port activities. Among these strategies, the electrification of port infrastructure is emerging as a potential industry standard for the future. However, there remains a significant gap in understanding the patterns of electricity consumption in ports and how to forecast them accurately. To address this gap, this paper provides a review of the current literature on electricity demand in ports, examining practical applications, methodologies employed, and their key limitations. The findings indicate that, despite its importance in supporting the electrification process, electricity demand forecasting in ports has not received substantial attention in either industry or academic research, and there are no clearly established policies to support port authorities in obtaining the necessary data. Finally, the paper outlines potential directions for future research and how port authorities or local government agencies can contribute to these efforts.

2025

Different energy poverty issues, different engagement behaviors? An empirical analysis of citizen groups in Europe

Autores
Grozea-Banica, B; Miguéis, V; Patrício, L;

Publicação
ENERGY RESEARCH & SOCIAL SCIENCE

Abstract
Engagement in the ongoing energy transition is particularly challenging for energy-poor citizens. As such, there is a pressing need for a better understanding of their experiences and for strategies that enable their engagement. In this study, we identify different groups of citizens based on their energy poverty issues and examine their engagement behaviors (seeking information, proactive managing, sharing feedback, helping others, and advocating). Using cluster analysis and multiple correspondence analysis, we analyzed a sample of 915 citizens from eight European cities participating in a Horizon2020 EU project (Alkmaar-NL, Bari-IT, Celje-SI, Evora-PT, Granada-ES, Hvidovre-DK, Ioannina-GR, & Uacute;jpest-HU). Several groups of citizens reported either multiple energy issues, a single issue (energy bills, insulation, cooling, heating), or no issues, and the statistical tests showed significant differences across these groups in terms of engagement in seeking information, helping, and advocating. Moreover, we identified that certain groups tend to have specific levels of engagement (high, medium, low) and that sharing feedback generally has a low level of engagement. Overall, this study provides empirical insights into how energy-poor citizens exercise agency through engagement behaviors and offers actionable insights for designing measures to mitigate energy poverty in complementarity with technical and economical solutions.

2025

Sonar-Based Deep Learning in Underwater Robotics: Overview, Robustness, and Challenges

Autores
Aubard, M; Madureira, A; Teixeira, L; Pinto, J;

Publicação
IEEE JOURNAL OF OCEANIC ENGINEERING

Abstract
With the growing interest in underwater exploration and monitoring, autonomous underwater vehicles have become essential. The recent interest in onboard deep learning (DL) has advanced real-time environmental interaction capabilities relying on efficient and accurate vision-based DL models. However, the predominant use of sonar in underwater environments, characterized by limited training data and inherent noise, poses challenges to model robustness. This autonomy improvement raises safety concerns for deploying such models during underwater operations, potentially leading to hazardous situations. This article aims to provide the first comprehensive overview of sonar-based DL under the scope of robustness. It studies sonar-based DL perception task models, such as classification, object detection, segmentation, and simultaneous localization and mapping. Furthermore, this article systematizes sonar-based state-of-the-art data sets, simulators, and robustness methods, such as neural network verification, out-of-distribution, and adversarial attacks. This article highlights the lack of robustness in sonar-based DL research and suggests future research pathways, notably establishing a baseline sonar-based data set and bridging the simulation-to-reality gap.

2025

A New Closed-Loop Control Paradigm Based on Process Moments

Autores
Vrancic, D; Bisták, P; Huba, M; Oliveira, PM;

Publicação
MATHEMATICS

Abstract
The paper presents a new control concept based on the process moment instead of the process states or the process output signal. The control scheme is based on separate control of reference tracking and disturbance rejection. The tracking control is achieved by additionally feeding the input of the process model by the scaled output signal of the process model. The advantage of such feedback is that the final state of the process output can be analytically calculated and used for control instead of the actual process output value. The disturbance rejection, including model imperfections, is controlled by feeding back the filtered difference between the process output and the model output to the process input. The performance of tracking and disturbance rejection is simply controlled by two user-defined gains. Several examples have shown that the new control method provides very good and stable tracking and disturbance rejection performance.

  • 90
  • 4399