2023
Autores
ter Beek, MH; Hennicker, R; Proença, J;
Publicação
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Abstract
We consider global models of communicating agents specified as transition systems labelled by interactions in which multiple senders and receivers can participate. A realisation of such a model is a set of local transition systems—one per agent—which are executed concurrently using synchronous communication. Our core challenge is how to check whether a global model is realisable and, if it is, how to synthesise a realisation. We identify and compare two variants to realise global interaction models, both relying on bisimulation equivalence. Then we investigate, for both variants, realisability conditions to be checked on global models. We propose a synthesis method for the construction of realisations by grouping locally indistinguishable states. The paper is accompanied by a tool that implements realisability checks and synthesises realisations. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
2023
Autores
Proença, J; Edixhoven, L;
Publicação
CoRR
Abstract
2023
Autores
Proença, J;
Publicação
Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Abstract
2023
Autores
Rodrigues, L; Faria, D; Coelho, F; Mello, J; Saraiva, JT; Villar, J; Bessa, RJ;
Publicação
2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM
Abstract
The new energy policies adopted by the European Union are set to help in the decarbonization of the energy system. In this context, the share of Variable Renewable Energy Sources is growing, affecting electricity markets, and increasing the need for system flexibility to accommodate their volatility. For this reason, legislation and incentives are being developed to engage consumers in the power sector activities and in providing their potential flexibility in the scope of grid system services. This work identifies energy and cross-sector Business Models (BM) centered on or linked to the provision of distributed flexibility to the DSO and TSO, building on those found in previous research projects or from companies' commercial proposals. These BM are described and classified according to the main actor. The remaining actors, their roles, the interactions among them, how value is created by the BM activities and their value propositions are also described.
2023
Autores
Monteiro, RPC; Silva, JMC;
Publicação
PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023
Abstract
The digitalization of energy generation and distribution systems opens new opportunities for devising network operation and traffic engineering strategies capable of adapting to the energy availability and sources. Despite the potential, developing and testing new approaches are challenging in production environments. Furthermore, no simulators support such integration between the communication infrastructure and the power grid. Thus, this paper introduces Flexcomm Simulator, a tool based on ns-3 that supports developing and assessing multiple strategies toward green networking and communications driven by real-time information from the power grid (i.e., Energy Flexibility). The proof-of-concept results demonstrate this contribution's potential by implementing an energy-aware routing algorithm that adapts to real-world Energy Flexibility data in a Metropolitan Area Network (MAN). Also, it showcases the simulator's capacity to deal with large-scale simulations through MPI-based distributed environments.
2023
Autores
Moreira, P; Ribeiro, A; Silva, JMC;
Publicação
IEEE Symposium on Computers and Communications, ISCC 2023, Gammarth, Tunisia, July 9-12, 2023
Abstract
The increasing use of microservices architectures has been accompanied by the profusion of tools for their design and operation. One relevant tool is API Gateways, which work as a proxy for microservices, hiding their internal APIs, providing load balancing, and multiple encoding support. Particularly in cloud environments, where the inherent flexibility allows on-demand resource deployment, API Gateways play a key role in seeking quality of service. Although multiple solutions are currently available, a comparative performance assessment under real workloads to support selecting the more suitable one for a specific service is time-consuming. In this way, the present work introduces AGE, a service capable of automatically deploying multiple API Gateways scenarios and providing a simple comparative performance indicator for a defined workload and infrastructure. The designed proof of concept shows that AGE can speed up API Gateway deployment and testing in multiple environments. © 2023 IEEE.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.