Abstract
The thermal SPA sector is currently experiencing a stable growth trend, which according to the World Tourism Organization (WTO) is expected to continue over the upcoming years. In Portugal, the sector has a very significant profile, with the existence of almost a hundred SPAs and thermal SPAs that generate a business volume (direct and indirect) of over 30 M€ per year. Although the beginning of the process of digital transformation of the sector is already visible, there is no holistic view of the sector which means that the currently existing information systems (IS) do not present a useful response to the needs faced by the sector. Therefore, an architecture proposal was conceived and described for an IS that provides a useful, efficient, and agile response to the needs of the entire thermalism sector and its stakeholders. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

Abstract
The systematic review reported by this article aimed to analyze and synthesize state-of-the-art studies focused on the cyber resilience of healthcare information systems, namely in terms of (i) their purposes and (ii) methods being used to validate the proposed solutions. An electronic search was conducted, and 14 studies were included in this systematic review after the selection process. The research related to cyber resilience in the context of healthcare information systems is relatively recent and it is increasing, and according to the findings five different purposes were identified: (i) strategies to improve the cyber resilience of healthcare information systems; (ii) methods to design cyber resilient healthcare information systems; (iii) risk assessment; (iv) cyber resilience frameworks; and (v) development of cyber resilient healthcare information systems. Moreover, the solutions reported by the included articles present a low maturity level, which means that further research is required to increase the cyber resilience of healthcare information systems that constitute critical assets of the healthcare provision.

Abstract
The scoping review reported by this article aimed to analyse how security and privacy mechanism are being integrated with Fast Health Interoperability Resources (FHIR). An electronic search was conducted, and 37 studies were included in the review. The results show that 19 studies (i.e., more than half of the included studies) reported on the use of blockchain technology to (i) assure secure data sharing, (ii) provide secure Personal Health Records, (iii) support authentication and auditing mechanisms, (iv) support smart legal contracts, and (v) monitor the access to clinical data. The remainder 18 articles reported on the implementation of security and privacy mechanisms related to (i) data security at transmission, (ii) data security at storage, (iii) access control; (iv) data anonymization, and (v) management of informed consents. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Abstract
The scoping review reported by this article aimed to analyze and synthesize state-of-the-art studies focused on the integration of cyber resilience in the implementation of smart cities. An electronic search was conducted, and 11 studies were included in this review after the selection process. According to the findings, cyber resilience represents a gap of the current research related to smart cities and, therefore, additional efforts are required to guarantee that smart cities are resilient to challenging events such as cyber-attacks or natural disasters. © 2023 ITMA.

Abstract
Advancements in semiconductor technology no longer occur at the pace the industry had been accustomed to. We have entered what is considered by many to be the post-Moore era. In order to continue scaling performance, increasingly heterogeneous architectures are being developed and the use of special purpose accelerators is on the rise. One notable example are Field-Programmable-Gate-Arrays (FPGAs), both in the data-center and embedded spaces. Advances in FPGA features and tools is allowing for critical kernels to be accelerated on specialized hardware without fabrication costs. However, re-targeting code to such heterogeneous platforms still requires significant refactoring of the compute intensive kernels, as well as knowledge of parallel compute and hardware design concepts for maximization of performance. We present Tribble, a source-to-source framework under active development, capable of transforming regular C/C++ programs for execution on heterogeneous architectures. This includes transforming the target kernel source code so that it is amenable for circuit generation while keeping the original version for software execution, inserting code for task and memory management and injecting a scheduler algorithm.

Abstract
Energy efficiency is a non-functional requirement that developers must consider, particularly when building software for battery-operated devices like mobile ones: a long-lasting battery is an essential requirement for an enjoyable user experience.In previous studies, it has been shown that many mobile applications include inefficiencies that cause battery to be drained faster than necessary. Some of these inefficiencies result from software patterns that have been catalogued, and for which more energy-efficient alternatives are also known.The existing catalogues, however, assume as a fundamental requirement that one has access to the source code of an application in order to be able to analyse it. This requirement makes independent energy analysis challenging, or even impossible, e.g. for a mobile user or, most significantly, an App Store trying to provide information on how efficient an application being submitted for publication is.We study the viability of looking for known energy patterns in applications by decompiling them and analysing the resulting code. For this, we decompiled and analysed 420 open-source applications by extending an existing tool, which is now capable of transparently decompiling and analysing android applications. With the collected data, we performed a comparative study of the presence of four energy patterns between the source code and the decompiled code.We performed two types of analysis: (i) comparing the total number of energy pattern detections; (ii) comparing the similarity between energy pattern detections. When comparing the total number of detections in source code against decompiled code, we found that 79.29% of the applications reported the same number of energy pattern detections.To test the similarity between source code and APKs, we calculated, for each application, a similarity score based on our four implemented detectors. Of all applications, 35.76% achieved a perfect similarity score of 4, and 89.40% got a score of 3 or more out of 4. Furthermore, only two applications got a score of 0.When viewed in tandem, the results of the two analyses we performed point in a promising direction. They provide initial evidence that static analysis techniques, typically used in source code, can be a viable method to inspect APKs when access to source code is restricted, and further research in this area is worthwhile.