Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

I am a researcher at the High Assurance Software Lab (HASLab) and an Invited Assistant Professor at the University of Minho, where I lecture in courses in Fault Tolerance, Distributed Systems and Operating Systems. My research interests include dependable data management and data processing systems and different fault tolerance mechanisms.

I have contributed to multiple National and European research and innovation projects in collaboration with industry in the Software Engineering, Insurance and Energy domains.

Interest
Topics
Details

Details

  • Name

    Ana Nunes Alonso
  • Role

    Assistant Researcher
  • Since

    01st February 2012
009
Publications

2026

Data Spaces as Enablers of Digital Twin Ecosystems: Challenges and Requirements

Authors
Chaves, AC; Alonso, AN; Soares, AL;

Publication
ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS. CYBER-PHYSICAL-HUMAN PRODUCTION SYSTEMS: HUMAN-AI COLLABORATION AND BEYOND, APMS 2025, PT V

Abstract
The increasing adoption of the Digital Twin concept and technology for managing complex physical assets has led to the emergence of Digital Twin Ecosystems, where interconnected digital twins generate additional value. However, ensuring seamless data sharing and interoperability among diverse systems presents significant challenges. Although research on digital twin architectures has advanced, gaps remain in addressing data governance, security, and stakeholders' trust. This study performs a comprehensive literature review to investigate architectural solutions to overcome challenges in digital twin ecosystems. The findings identify key requirements such as interoperability, governance, and data management, emphasizing the role of Data Spaces as enablers of secure data sharing. By structuring the requirements for digital twin ecosystem architectures, this paper identifies gaps suggesting future research on scalable and sustainable digital twin ecosystem implementations. These insights are expected to contribute to the development of frameworks that integrate technical advances with organizational and regulatory considerations, ultimately fostering the adoption of digital twin ecosystems across industries.

2025

Towards Efficient Client-Side Transactions for Heterogeneous Cloud Data Stores

Authors
Sousa, PA; Faria, N; Pereira, J; Alonso, AN;

Publication
2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE, EDCC

Abstract
Data intensive applications increasingly make use of multiple data stores in the cloud, providing a diversity of data and query models, as well as durability and scale trade-offs. However, this has a severe impact on reliability, as the key fault-tolerance mechanism for database systems, i.e. ACID transactions, is no longer available. Although it is possible to implement transactions without changes to the database servers, this either requires a proxy server, which compromises scale and availability, or a client-side layer that changes the data schema, excludes legacy applications, and adds significant overhead. We address this challenge with a proposal to delegate functionality from a client-side transactional layer to a server-side query engine such that compatibility with legacy applications is restored. We implemented a proof-of-concept and show that it significantly improves performance for analytical applications.

2025

Rethinking BFT: Leveraging Diverse Software Components with LLMs

Authors
Imperadeiro, J; Alonso, AN; Pereira, J;

Publication
2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S

Abstract
Diversity is crucial in systems that tolerate Byzantine faults. Traditionally, system builders have relied on standardized interfaces (e.g., POSIX for operating systems) to obtain off-the-shelf components or on n-version programming for custom functionality. Unfortunately, standardized alternatives are rare, and the independent development of multiple versions of the same software is costly and justified only on the most critical applications. In this paper, we show that a limited and focused use of LLMs for translation opens up the possibility of leveraging the existing diversity in functionally equivalent but non-standardized components. Specifically, we show that LLMs can produce functionally correct database query translations with minimal guidance and adapt to diverse data models and query contexts, enabling the use of radically different database models, both SQL and NoSQL, together in a Byzantine fault-tolerant replicated system. We outline an approach to achieve this in practice and discuss future research directions.

2025

BLADE - Byzantine-tolerant Learning under an Asynchronous and Decentralized Environment

Authors
Ferreira, G; Alonso, AN; Pereira, J;

Publication
2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C

Abstract
Machine learning models are growing, with some large language models reaching a scale of billions of trainable parameters. Training these models has since become one of the most data-hungry and computation-heavy tasks. Efforts to distribute the training task mostly follow a federated approach, where a central server oversees the training process. This approach: 1) raises concerns about data privacy; and 2) creates a single point of failure. Current proposals for a fully decentralized approach often rely on costly broadcasts to disseminate model updates and do not tolerate heterogeneity in the training data, as it makes detecting Byzantine contributions harder. We propose BLADE, a generalized fully decentralized (and asynchronous) Byzantine fault-tolerant machine learning algorithm. BLADE was designed to be configurable and adapt to harsh environments, and significantly reduces the communication overhead compared to the state of the art. We performed a comprehensive empirical evaluation, and results confirm models trained with BLADE can achieve an accuracy comparable to a centralized training instance, even if the data distribution among peers is heterogeneous, and robustly aggregate model updates in the presence of Byzantine attacks, and even against sporadic Byzantine majorities.

2024

TADA: A Toolkit for Approximate Distributed Agreement

Authors
da Conceiçao, EL; Alonso, AN; Oliveira, RC; Pereira, J;

Publication
SCIENCE OF COMPUTER PROGRAMMING

Abstract
TADA is a unique toolkit designed to foster the use and implementation of approximate distributed agreement primitives. Developed in Java, TADA provides ready-to-use implementations of several approximate agreement algorithms, as well as the tools to enable programmers/researchers to easily implement further protocols: A template that enables new protocol implementations to be created by simply changing specific functions; and high-level abstractions for communication and concurrency control. As an example, the toolkit includes a ready-to-use implementation for clock synchronisation between distributed processes. Further use cases can include sensor input stabilisation and distributed machine learning, or other instances of distributed agreement where network synchrony cannot be assumed, byzantine fault tolerance may be required and a bounded divergence in decision values can be tolerated.