A Systematic Literature Review on Progressive Web Application Practice and Challenges

This research aims to establish a knowledge of Progressive Web Application (PWA) method practices based on published empirical investigation, the problems that the PWA method may face, and the PWA method's approach to experimental studies. We also looked for PWA practices that might address the issues with the prior method. We performed a broad, automated search to find SLRs and 43 papers published from 1 January 2015 to 6 November 2021 that discuss PWA. Specific inclusion and exclusion criteria were applied to determine which relevant studies we used for our research purposes. The review identified 31 practices of PWA, Six challenges of the previous approach of mobile application development that get resolved by PWA, and seven challenges posed by the practice of PWA. PWA was introduced in 2015, and since 2017 the studies on PWA topics have started increasing. The distribution of studies based on nations is spread evenly. 74\% of selected studies are about the practice of the PWA. Although it cannot be generalized that the PWA approach handles the challenge of the previous method, some studies reported that PWA covers the problems of the previous methods. However, despite its benefits, PWA still has some challenges, mostly related to browser support

A Building Information Modeling (BIM)-centric Digital Ecosystem for Smart Airport Life Cycle Management

An increasing number of new airport infrastructure construction and improvement projects are being delivered in today\u27s modern world. However, value creation is a recurring issue due to inefficiencies in managing capital expenditures (CapEx) and operating expenses (OpEx), while trying to optimize project constraints of scope, time, cost, quality, and resources. In this new era of smart infrastructure, digitalization transforms the way projects are planned and delivered. Building Information Modeling (BIM) is a key digital process technique that has become an imperative for today\u27s Architecture, Engineering, Construction and Operations (AECO) sector. This research suggests a BIM-centric digital ecosystem by detailing technical and strategic aspects of Airport BIM implementation and digital technology integration from a life cycle perspective. This research provides a novel approach for consistent and continuous use of digital information between business and functional levels of an airport by developing a digital platform solution that will enable seamless flow of information across functions. Accordingly, this study targets to achieve three objectives: 1- To provide a scalable know-how of BIM-enabled digital transformation; 2- To guide airport owners and major stakeholders towards converging information siloes for airport life cycle data management by an Airport BIM Framework; 3- To develop a BIM-based digital platform architecture towards realization of an airport digital twin for airport infrastructure life cycle management. Airport infrastructures can be considered as a System of Systems (SoS). As such, Model Based Systems Engineering (MBSE) with Systems Modeling Language (SysML) is selected as the key methodology towards designing a digital ecosystem. Applying MBSE principles leads to forming an integrating framework for managing the digital ecosystem. Furthermore, this research adopts convergent parallel mixed methods to collect and analyze multiple forms of data. Data collection tools include extensive literature and industry review; an online questionnaire; semi-structured interviews with airport owner parties; focus group discussions; first-hand observations; and document reviews. Data analysis stage includes multiple explanatory case study analyses, thematic analysis, project mapping, percent coverage analysis for coded themes to achieve Objective 1; thematic analysis, cluster analysis, framework analysis, and non-parametric statistical analysis for Objective 2; and qualitative content analysis, non-parametric statistical analysis to accomplish Objective 3. This research presents a novel roadmap toward facilitation of smart airports with alignment and integration of disruptive technologies with business and operational aspects of airports. Multiple comprehensive case study analyses on international large-hub airports and triangulation of organization-level and project-level results systematically generate scalable technical and strategic guidelines for BIM implementation. The proposed platform architecture will incentivize major stakeholders for value-creation, data sharing, and control throughout a project life cycle. Introducing scalability and minimizing complexity for end-users through a digital platform approach will lead to a more connected environment. Consequently, a digital ecosystem enables sophisticated interaction between people, places, and assets. Model-driven approach provides an effective strategy for enhanced decision-making that helps optimization of project resources and allows fast adaptation to emerging business and operational demands. Accordingly, airport sustainability measures -economic vitality, operational efficiency, natural resources, and social responsibility- will improve due to higher levels of efficiency in CapEx and OpEx. Changes in business models for large capital investments and introducing sustainability to supply chains are among the anticipated broader impacts of this study

A study of the impact of technological innovations on the social sustainability of facilities management employees in South Africa

This research investigates the impact of technological innovations (TIs) on the social sustainability of facilities management (FM) employees in South Africa. The rationale for the study is that no empirical evidence shows how the adoption of TIs impacts the social sustainability of FM employees. The study adopts the sequential mixed-methodology approach. The quantitative phase makes use of a questionnaire survey which formed the foundation for the qualitative interview phase. The relative importance index (RII) is used to analyse different questions, such as (1) the factors influencing the adoption of TIs in FM organisations (2) the impact of the TIs on FM practice, (3) the localisation of the employee social sustainability factors and (4) the determination of the impact of TIs on the social sustainability of FM employees. An Interpretive Structural Model (ISM) approach is used to determine which social sustainability factor(s) should be prioritised while promoting the social sustainability of the FM employees. The findings of this study show that cloud-based TIs, ICT-based TIs and sensor-based TIs are the most popular in FM organisations in South Africa. Furthermore, the impact of TIs on the core business factors in FM organisations have a mean score of between 3.00 to 3.19 depending on the factor of interest. The RII analysis led to the development of the initial FM employee social sustainability framework which identified “job security”, “remuneration” and “professional status” as the three most important FM employee social sustainability factors. However, the ISM analysis which considered hierarchy, driving power and dependence of the factors identified “organisation policy” as main factor in level five that drives other employee social sustainability factors. Furthermore, “overwork”, “autonomy”, “interpersonal relationship”, “work and home-life balance” and “retirement development plan” were the root factors in level four that must be prioritised by facilities managers to promote employee social sustainability. The study contributes to knowledge by identifying the most popular TIs that are adopted by FM organisations in South Africa, and determining the interrelationship, hierarchical importance and dependences of the various employees’ social sustainability factors in FM organisations. Through the development of the framework for FM employee social sustainability, facilities managers have the knowledge of the factors to prioritise when they need to promote the social sustainability of their employees. The study recommends that FM organisation policies on TI adoption must align with the overall socio-economic wellbeing program to contribute to social sustainability in South Africa

Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era

The Internet of Things (IoT) is rapidly changing our society to a world where every "thing" is connected to the Internet, making computing pervasive like never before. This tsunami of connectivity and data collection relies more and more on the Cloud, where data analytics and intelligence actually reside. Cloud computing has indeed revolutionized the way computational resources and services can be used and accessed, implementing the concept of utility computing whose advantages are undeniable for every business. However, despite the benefits in terms of flexibility, economic savings, and support of new services, its widespread adoption is hindered by the security issues arising with its usage. From a security perspective, the technological revolution introduced by IoT and Cloud computing can represent a disaster, as each object might become inherently remotely hackable and, as a consequence, controllable by malicious actors. While the literature mostly focuses on security of IoT and Cloud computing as separate entities, in this article we provide an up-to-date and well-structured survey of the security issues of Cloud computing in the IoT era. We give a clear picture of where security issues occur and what their potential impact is. As a result, we claim that it is not enough to secure IoT devices, as cyber-storms come from Clouds

Formal Methods: From Academia to Industrial Practice. A Travel Guide

For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief and many individual success stories, no real change in industrial software development seems to be occurring. In fact, the software industry itself is moving forward rapidly, and the gap between what formal methods can achieve and the daily software-development practice does not appear to be getting smaller (and might even be growing). In the past, many recommendations have already been made on how to develop formal-methods research in order to close this gap. This paper investigates why the gap nevertheless still exists and provides its own recommendations on what can be done by the formal-methods-research community to bridge it. Our recommendations do not focus on open research questions. In fact, formal-methods tools and techniques are already of high quality and can address many non-trivial problems; we do give some technical recommendations on how tools and techniques can be made more accessible. To a greater extent, we focus on the human aspect: how to achieve impact, how to change the way of thinking of the various stakeholders about this issue, and in particular, as a research community, how to alter our behaviour, and instead of competing, collaborate to address this issue.Comment: 22 pages, 0 figure

Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems

The pervasiveness of computing and networking is creating significant opportunities for building valuable socio-technical systems. However, the scale, density, heterogeneity, interdependence, and QoS constraints of many target systems pose severe operational and engineering challenges. Beyond individual smart devices, cyber-physical collectives can provide services or solve complex problems by leveraging a “system effect” while coordinating and adapting to context or environment change. Understanding and building systems exhibiting collective intelligence and autonomic capabilities represent a prominent research goal, partly covered, e.g., by the field of collective adaptive systems. Therefore, drawing inspiration from and building on the long-time research activity on coordination, multi-agent systems, autonomic/self-* systems, spatial computing, and especially on the recent aggregate computing paradigm, this thesis investigates concepts, methods, and tools for the engineering of possibly large-scale, heterogeneous ensembles of situated components that should be able to operate, adapt and self-organise in a decentralised fashion. The primary contribution of this thesis consists of four main parts. First, we define and implement an aggregate programming language (ScaFi), internal to the mainstream Scala programming language, for describing collective adaptive behaviour, based on field calculi. Second, we conceive of a “dynamic collective computation” abstraction, also called aggregate process, formalised by an extension to the field calculus, and implemented in ScaFi. Third, we characterise and provide a proof-of-concept implementation of a middleware for aggregate computing that enables the development of aggregate systems according to multiple architectural styles. Fourth, we apply and evaluate aggregate computing techniques to edge computing scenarios, and characterise a design pattern, called Self-organising Coordination Regions (SCR), that supports adjustable, decentralised decision-making and activity in dynamic environments.Con lo sviluppo di informatica e intelligenza artificiale, la diffusione pervasiva di device computazionali e la crescente interconnessione tra elementi fisici e digitali, emergono innumerevoli opportunità per la costruzione di sistemi socio-tecnici di nuova generazione. Tuttavia, l'ingegneria di tali sistemi presenta notevoli sfide, data la loro complessità—si pensi ai livelli, scale, eterogeneità, e interdipendenze coinvolti. Oltre a dispositivi smart individuali, collettivi cyber-fisici possono fornire servizi o risolvere problemi complessi con un “effetto sistema” che emerge dalla coordinazione e l'adattamento di componenti fra loro, l'ambiente e il contesto. Comprendere e costruire sistemi in grado di esibire intelligenza collettiva e capacità autonomiche è un importante problema di ricerca studiato, ad esempio, nel campo dei sistemi collettivi adattativi. Perciò, traendo ispirazione e partendo dall'attività di ricerca su coordinazione, sistemi multiagente e self-*, modelli di computazione spazio-temporali e, specialmente, sul recente paradigma di programmazione aggregata, questa tesi tratta concetti, metodi, e strumenti per l'ingegneria di ensemble di elementi situati eterogenei che devono essere in grado di lavorare, adattarsi, e auto-organizzarsi in modo decentralizzato. Il contributo di questa tesi consiste in quattro parti principali. In primo luogo, viene definito e implementato un linguaggio di programmazione aggregata (ScaFi), interno al linguaggio Scala, per descrivere comportamenti collettivi e adattativi secondo l'approccio dei campi computazionali. In secondo luogo, si propone e caratterizza l'astrazione di processo aggregato per rappresentare computazioni collettive dinamiche concorrenti, formalizzata come estensione al field calculus e implementata in ScaFi. Inoltre, si analizza e implementa un prototipo di middleware per sistemi aggregati, in grado di supportare più stili architetturali. Infine, si applicano e valutano tecniche di programmazione aggregata in scenari di edge computing, e si propone un pattern, Self-Organising Coordination Regions, per supportare, in modo decentralizzato, attività decisionali e di regolazione in ambienti dinamici

Software framework for the development of context-aware reconfigurable systems

In this project we propose a new software framework for the development of context-aware and secure controlling software of distributed reconfigurable systems. Context-awareness is a key feature allowing the adaptation of systems behaviour according to the changing environment. We introduce a new definition of the term “context” for reconfigurable systems then we define a new context modelling and reasoning approach. Afterwards, we define a meta-model of context-aware reconfigurable applications that paves the way to the proposed framework. The proposed framework has a three-layer architecture: reconfiguration, context control, and services layer, where each layer has its well-defined role. We define also a new secure conversation protocol between distributed trustless parts based on the blockchain technology as well as the elliptic curve cryptography. To get better correctness and deployment guarantees of applications models in early development stages, we propose a new UML profile called GR-UML to add new semantics allowing the modelling of probabilistic scenarios running under memory and energy constraints, then we propose a methodology using transformations between the GR-UML, the GR-TNCES Petri nets formalism, and the IEC 61499 function blocks. A software tool implementing the methodology concepts is developed. To show the suitability of the mentioned contributions two case studies (baggage handling system and microgrids) are considered.In diesem Projekt schlagen wir ein Framework für die Entwicklung von kontextbewussten, sicheren Anwendungen von verteilten rekonfigurierbaren Systemen vor. Kontextbewusstheit ist eine Schlüsseleigenschaft, die die Anpassung des Systemverhaltens an die sich ändernde Umgebung ermöglicht. Wir führen eine Definition des Begriffs ``Kontext" für rekonfigurierbare Systeme ein und definieren dann einen Kontextmodellierungs- und Reasoning-Ansatz. Danach definieren wir ein Metamodell für kontextbewusste rekonfigurierbare Anwendungen, das den Weg zum vorgeschlagenen Framework ebnet. Das Framework hat eine dreischichtige Architektur: Rekonfigurations-, Kontextkontroll- und Dienste-Schicht, wobei jede Schicht ihre wohldefinierte Rolle hat. Wir definieren auch ein sicheres Konversationsprotokoll zwischen verteilten Teilen, das auf der Blockchain-Technologie sowie der elliptischen Kurven-Kryptographie basiert. Um bessere Korrektheits- und Einsatzgarantien für Anwendungsmodelle zu erhalten, schlagen wir ein UML-Profil namens GR-UML vor, um Semantik umzufassen, die die Modellierung probabilistischer Szenarien unter Speicher- und Energiebeschränkungen ermöglicht. Dann schlagen wir eine Methodik vor, die Transformationen zwischen GR-UML, dem GR-TNCES-Petrinetz-Formalismus und den IEC 61499-Funktionsblöcken verwendet. Es wird ein Software entwickelt, das die Konzepte der Methodik implementiert. Um die Eignung der genannten Beiträge zu zeigen, werden zwei Fallstudien betrachtet