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
Publications

Publications by HASLab

2021

Featured Team Automata

Authors
ter Beek, MH; Cledou, G; Hennicker, R; Proença, J;

Publication
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Abstract

2021

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

Authors
la Vara, JLd; Bauer, T; Fischer, B; Karaca, M; Madeira, H; Matschnig, M; Mazzini, S; Nandi, GS; Patrone, F; Pereira, D; Proença, J; Schlick, R; Tonetta, S; Yayan, U; Sangchoolie, B;

Publication
Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

Abstract
As our dependence on automated systems grows, so does the need for guaranteeing their safety, cybersecurity, and privacy (SCP). Dedicated methods for verification and validation (V&V) must be used to this end and it is necessary that the methods and their characteristics can be clearly differentiated. This can be achieved via method classifications. However, we have experienced that existing classifications are not suitable to categorise V&V methods for SCP of automated systems. They do not pay enough attention to the distinguishing characteristics of this system type and of these quality concerns. As a solution, we present a new classification developed in the scope of a large-scale industry-academia project. The classification considers both the method type, e.g., testing, and the concern addressed, e.g., safety. Over 70 people have successfully used the classification on 53 methods. We argue that the classification is a more suitable means to categorise V&V methods for SCP of automated systems and that it can help other researchers and practitioners. © 2021, Springer Nature Switzerland AG.

2021

The VALU3S ECSEL project: Verification and validation of automated systems safety and security

Authors
Agirre, JA; Etxeberria, L; Barbosa, R; Basagiannis, S; Giantamidis, G; Bauer, T; Ferrari, E; Esnaola, ML; Orani, V; Öberg, J; Pereira, D; Proença, J; Schlick, R; Smrcka, A; Tiberti, W; Tonetta, S; Bozzano, M; Yazici, A; Sangchoolie, B;

Publication
Microprocess. Microsystems

Abstract
Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers need to make sure that the systems function in the intended way and according to specifications. This is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming and costly. In this paper, we present VALU3S, an ECSEL JU (joint undertaking) project that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. VALU3S will provide guidelines to the V&V community including engineers and researchers on how the V&V of automated systems could be improved considering the cost, time and effort of conducting V&V processes. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal. © 2021 The Authors

2021

GreenHub: a large-scale collaborative dataset to battery consumption analysis of android devices

Authors
Pereira, R; Matalonga, H; Couto, M; Castor, F; Cabral, B; Carvalho, P; de Sousa, SM; Fernandes, JP;

Publication
EMPIRICAL SOFTWARE ENGINEERING

Abstract
Context The development of solutions to improve battery life in Android smartphones and the energy efficiency of apps running on them is hindered by diversity. There are more than 24k Android smartphone models in the world. Moreover, there are multiple active operating system versions, and a myriad application usage profiles. Objective In such a high-diversity scenario, profiling for energy has only limited applicability. One would need to obtain information about energy use in real usage scenarios to make informed, effective decisions about energy optimization. The goal of our work is to understand how Android usage, apps, operating systems, hardware, and user habits influence battery lifespan. Method We leverage crowdsourcing to collect information about energy in real-world usage scenarios. This data is collected by a mobile app, which we developed and made available to the public through Google Play store, and periodically uploaded to a centralized server and made publicly available to researchers, app developers, and smartphone manufacturers through multiple channels (SQL, REST API, zipped CSV/Parquet dump). Results This paper presents the results of a wide analysis of the tendency several smart-phone characteristics have on the battery charge/discharge rate, such as the different models, brands, networks, settings, applications, and even countries. Our analysis was performed over the crowdsourced data, and we have presented findings such as which applications tend to be around when battery consumption is the highest, do users from different countries have the same battery usage, and even showcase methods to help developers find and improve energy inefficient processes. The dataset we considered is sizable; it comprises 23+ million (anonymous) data samples stemming from a large number of installations of the mobile app. Moreover, it includes 700+ million data points pertaining to processes running on these devices. In addition, the dataset is diverse. It covers 1.6k+ device brands, 11.8k+ smartphone models, and more than 50 Android versions. We have been using this dataset to perform multiple analyses. For example, we studied what are the most common apps running on these smartphones and related the presence of those apps in memory with the battery discharge rate of these devices. We have also used this dataset in teaching, having had students practicing data analysis and machine learning techniques for relating energy consumption/charging rates with many other hardware and software qualities, attributes and user behaviors. Conclusions The dataset we considered can support studies with a wide range of research goals, be those energy efficiency or not. It opens the opportunity to inform and reshape user habits, and even influence the development of both hardware (manufacturers) and software (developers) for mobile devices. Our analysis also shows results which go outside of the common perception of what impacts battery consumption in real-world usage, while exposing new varied, complex, and promising research avenues.

2021

Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach

Authors
Menci, SP; Bessa, RJ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA; Rua, D; Coelho, F; Silva, JV; Andrade, JR; Sampaio, G; Teixeira, H; Simoes, M; Viana, J; Oliveira, L; Castro, D; Krisper, U; Andre, R;

Publication
ENERGIES

Abstract
The evolution of the electrical power sector due to the advances in digitalization, decarbonization and decentralization has led to the increase in challenges within the current distribution network. Therefore, there is an increased need to analyze the impact of the smart grid and its implemented solutions in order to address these challenges at the earliest stage, i.e., during the pilot phase and before large-scale deployment and mass adoption. Therefore, this paper presents the scalability and replicability analysis conducted within the European project InteGrid. Within the project, innovative solutions are proposed and tested in real demonstration sites (Portugal, Slovenia, and Sweden) to enable the DSO as a market facilitator and to assess the impact of the scalability and replicability of these solutions when integrated into the network. The analysis presents a total of three clusters where the impact of several integrated smart tools is analyzed alongside future large scale scenarios. These large scale scenarios envision significant penetration of distributed energy resources, increased network dimensions, large pools of flexibility, and prosumers. The replicability is analyzed through different types of networks, locations (country-wise), or time (daily). In addition, a simple replication path based on a step by step approach is proposed as a guideline to replicate the smart functions associated with each of the clusters.

2021

Enabling Interoperable Flexibility and Standardized Grid Support Services

Authors
Falcão, J; Cândido, C; Silva, D; Sousa, J; Pereira, M; Rua, D; Gouveia, C; Coelho, F; Bessa, R; Lucas, A;

Publication
IET Conference Proceedings

Abstract
This paper presents how the InterConnect project is enhancing the relationship between smart buildings, energy communities and grids, enabling the potential of interoperable flexibility mechanisms and the offer of new energy and non-energy services. Within this framework DSO will leverage its role of neutral market facilitator acting as key enabler for new business models. The paper presents the first technical definition of the DSO Interface of the H2020 InterConnect project that will ensure interoperable integration of flexibility services between DSOs and the different market parties to support the grid operation towards an increasingly decentralized, digitalized and decarbonized electric system. © 2021 The Institution of Engineering and Technology.

  • 49
  • 251