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

An Automated Repository for the Efficient Management of Complex Documentation

Autores
Frade, J; Antunes, M;

Publicação
INFORMATION

Abstract
The accelerating digitalization of the public and private sectors has made information technologies (IT) indispensable in modern life. As services shift to digital platforms and technologies expand across industries, the complexity of legal, regulatory, and technical requirement documentation is growing rapidly. This increase presents significant challenges in managing, gathering, and analyzing documents, as their dispersion across various repositories and formats hinders accessibility and efficient processing. This paper presents the development of an automated repository designed to streamline the collection, classification, and analysis of cybersecurity-related documents. By harnessing the capabilities of natural language processing (NLP) models-specifically Generative Pre-Trained Transformer (GPT) technologies-the system automates text ingestion, extraction, and summarization, providing users with visual tools and organized insights into large volumes of data. The repository facilitates the efficient management of evolving cybersecurity documentation, addressing issues of accessibility, complexity, and time constraints. This paper explores the potential applications of NLP in cybersecurity documentation management and highlights the advantages of integrating automated repositories equipped with visualization and search tools. By focusing on legal documents and technical guidelines from Portugal and the European Union (EU), this applied research seeks to enhance cybersecurity governance, streamline document retrieval, and deliver actionable insights to professionals. Ultimately, the goal is to develop a scalable, adaptable platform capable of extending beyond cybersecurity to serve other industries that rely on the effective management of complex documentation.

2025

Modelling circular-driven Digital Twins

Autores
Ventura, A; Sousa, C; Pereira, C; Duarte, N; Martins, M; Silva, B;

Publicação
Procedia Computer Science

Abstract
In the current era of digital transformation, adopting circular business models that blend circularity principles with advanced digital technologies, is fundamental for sustainable industrial practices. This paper suggests a semantic model for a Digital Twin based on an Asset Administration Shell. It also explores the Digital Product Passport topic since this will be the final goal for the Digital Twin. The Digital Product Passport serves as a complete digital record of the product life cycle to improve traceability and circularity. The Asset Administration Shell provides a standardized digital representation of assets, facilitating interoperability and fluid data exchange. By taking advantage of a Digital Twin, industries can optimize performance and predict product needs. Moreover, it enriches the Digital Product Passport with updated and accurate data, facilitating traceability and efficient product management. The application of semantic models ensures a consistent interpretation of data across all platforms, increasing the reliability of digital interactions and interoperability. This article explains the potential of these technologies to promote a circular economy, focusing in the particular case of the Digital Product Passport. © 2025 The Author(s).

2025

Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education

Autores
Potter, H; Paiva, ACR; Amalfitano, D; Fasolino, AR; Tramontana, P; Just, R;

Publicação
COMPANION PROCEEDINGS OF THE 33RD ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2025

Abstract
Mutation testing is an effective testing technique for improving how well a test suite can detect small changes to a program under test. This testing technique is seeing increased industry adoption. This paper aims to study the use of mutation testing in an educational setting and understand students' technical and conceptual challenges in applying mutation testing concepts. We report on two case studies of incorporating mutation testing into software engineering curricula. The Scaffolding Study explores the impact of using different mutation analysis tools directly or indirectly via a uniform interface provided by an educational infrastructure. We observe that scaffolding (indirect tool use) improved the consistency of student performance for those using the same mutation analysis tool on the same code as well as helping students perform more effective mutation testing. The Visualization Study explores the impact of different forms of output of a mutation analysis tool. Specifically, it assesses to what extent visualizations support students in reasoning about mutants and writing tests to detect them. We observe that like scaffolding, visualizations helped students perform more effective mutation testing, with lower-performing students seeing a boost in particular. We further explore challenges around automatic assessment of mutation testing exercises. For example, we observe that even with assignment scaffolding, 18-21% of student submissions required manual modifications to successfully execute.

2025

Red grape detection with accelerated artificial neural networks in the FPGA's programmable logic

Autores
Magalhães, SC; Almeida, M; dos Santos, FN; Moreira, AP; Dias, J;

Publicação
CoRR

Abstract

2025

Implementation of Virtual Reality in Teacher Training: A Case Study with VRChat and Oculus Quest 2

Autores
Castelhano, M; Pedrosa, D; Morgado, L; Messias, I;

Publicação
Practitioner Proceedings of the 11th International Conference of the Immersive Learning Research Network

Abstract

2025

Joint Mobile IAB Node Positioning and Scheduler Selection in Locations With Significant Obstacles

Autores
Correia, PF; Coelho, A; Ricardo, M;

Publicação
2025 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT, EUCNC/6G SUMMIT

Abstract
Integrated Access and Backhaul (IAB) in cellular networks combines access and backhaul within a wireless infrastructure reducing reliance on fibre-based backhaul. This enables flexible and more cost-effective network expansion, especially in hard-to-reach areas. Positioning a mobile IAB node (MIAB) in a seaport environment, in order to ensure on-demand, resilient wireless connectivity, presents unique challenges due to the high density of User Equipments (UEs) and potential shadowing effects caused by obstacles. This paper addresses the problem of positioning MIABs within areas containing UEs, fixed IAB donors (FIABs), and obstacles. Our approach considers user associations and different types of scheduling, ensuring MIABs and FIABs meet the capacity requirements of a special team of served UEs, while not exceeding backhaul capacity. With a Genetic Algorithm solver, we achieve capacity improvement gains, by up to 200% for the 90th percentile, particularly during emergency capacity demands.

  • 21
  • 4385