In cloud computing services, high availability is one of the quality of service requirements which is necessary to maintain customer confidence. High availability systems can be built by applying redundant nodes and multiple clusters in order to cope with software and hardware failures. Due to cloud computing complexity, dependability analysis of the cloud may require combining state‐based and nonstate‐based

In recent years, the advance in information technology has promoted a wide span of emerging cyber‐physical systems (CPS) applications such as autonomous automobile systems, healthcare monitoring, and process control systems. For these CPS applications, service latency management is extraordinarily important for the sake of providing high quality‐of‐experience to terminal users. Edge‐cloud computing

We are delighted to present this novel special issue, which emphasizes semantic eSystems and their engineering methods, techniques, and tools. “eSystems” are those interdisciplinary cost‐effective and interconnected solutions that leverage advanced information and communication technologies' techniques and tools to gain competitive advantage. Recent years have witnessed increasing interest in the design

Stream processing applications are common computing workloads that demand parallelism to increase their performance. As in the past, parallel programming remains a difficult task for application programmers. The complexity increases when application programmers must set nonintuitive parallelism parameters, that is, the degree of parallelism. The main problem is that state‐of‐the‐art libraries use a

Cloud computing offers massive processing power to cloud client to solve the scientific, financial forecasting, and weather forecasting applications. The process of distributing to the load to the different cloud service providers is a complex problem. Cloud service providers have different types of virtual machines with different computing power types in multi‐layered architectures. Various optimization

MyNeutronDAQ, a graphical user interface (GUI) program for data acquisition of neutron scattering spectrometers at China Mianyang Research Reactor (CMRR) and on‐line data‐analysis has been developed. The program is written in Microsoft Visual C++, which runs under Windows operating systems. Based on the characters of the hardware connection and time‐to‐digital converter (TDC) systems of the spectrometers

Network traffic prediction is of great significance to resource management in cyber‐physical systems (CPSs). In particular, network traffic is a nonlinear time series. Echo state network (ESN) is a new neural network with strong nonlinear processing capacity and short‐term memory capacity, and thus can achieve good performance in predicting nonlinear time series. However, network traffic has various

The China Seismo‐Electromagnetic Satellite (CSES) space mission—also known as Limadou in Italian—is a scientific collaboration between China and Italy that aims to investigate the structure and dynamics of the iono/magnetosphere, and in particular to study the possible correlation of perturbations to the occurrence of high‐magnitude seismic events. The Chinese satellite houses the Italian high‐energy

When external contributors want to collaborate with an open‐source project, they fork the repository, make changes, and send a pull request to the core team. However, the lifetime of a pull request, defined by the time interval between its opening and its closing, has a high variation, potentially affecting the contributor engagement. In this context, understanding the root causes of pull request lifetime

I am delighted that our favorite Journal of Software: Practice and Experience (SPE) turns 50 and the year 2021 is its Golden Jubilee year! The founding fathers of SPE Journal, Charles Lang and David Barron, in their editorial for the first issue published in January 1971, noted “the continuing development of the application of computers in all walks of life is held back by the difficulty of producing

Due to sparse charging infrastructure and short driving ranges, drivers of battery electric vehicles (BEVs) can experience range anxiety, which is the fear of stranding with an empty battery. To help eliminate range anxiety and make BEVs more attractive for customers, accurate range estimation methods need to be developed. In recent years, many publications have suggested machine learning algorithms

Making resources closer to the user might facilitate the integration of new technologies such as edge, fog, cloud computing, and big data. However, this brings many challenges shall be overridden when distributing a real‐time stream processing, executing multiapplication in a safe multitenant environment, and orchestrating and managing the services and resources into a hybrid fog/cloud federation.

The Internet of Things (IoT) has gained wide popularity both in academic and industrial contexts. Unlike traditional embedded devices with specialized firmwares, modern IoT devices accommodate general‐purpose operating systems, allowing developers to run more sophisticated applications written in high‐level languages like JavaScript. Because IoT devices are subject to resource constraints like available

Self‐tuning is a feature of autonomic databases that includes the problem of automatic schema design. Automating the schema design process is critical to provide an optimized schema that increases the performance of an application's workload in NoSQL databases. There has been important work on automated design tuning for NoSQL databases. Existing solutions take an offline approach to the schema design

Serverless computing is an emerging event‐driven programming model that accelerates the development and deployment of scalable web services on cloud computing systems. Though widely integrated with the public cloud, serverless computing use is nascent for edge‐based, Internet of Things (IoT) deployments. In this work, we present STOIC (serverless teleoperable hybrid cloud), an IoT application deployment

Software fault prediction became an essential research area in the last few years, there are many prediction and optimization techniques that have been developed for fault prediction. In this paper, an approach is developed by integrating genetics algorithm with support vector machine (SVM) classifier and Whale optimization algorithm for software fault prediction. The developed approach is applied

With the increase in the number of Internet of Things (IoT) devices having limited resources, an extension of the cloud‐computing paradigm has emerged so‐called fog computing, where all the fog cells are located at the edge of the network and the latency can be reduced. Meanwhile, an important challenge has attracted much attention with the definition of fog computing is service placement problem that

The prediction model is a major component within public health cyber‐physical systems, which supports decisions on prevention and control of diseases. Hand, foot, and mouth disease (HFMD) is one of the most common global infectious diseases with the highest incidence rate. Previous HFMD prediction models are mainly based on the time series that counted in equal‐grained time intervals. However, there

Low‐Bit Neural Network (LBNN) is a promising technique to enrich intelligent applications running on sustainable Cyber‐Physical Systems (CPS). Although LBNN has the advantages of low memory usage, fast inference and low power consumption, Low‐bit design requires additional computation units and may cause large accuracy drop. In this paper, we approach to design Field Programmable Gate Array (FPGA)‐based

C∀ is a polymorphic, nonobject‐oriented, concurrent, backwards compatible extension of the C programming language. This paper discusses the design philosophy and implementation of its advanced control‐flow and concurrent/parallel features, along with the supporting runtime written in C∀. These features are created from scratch as ISO C has only low‐level and/or unimplemented concurrency, so C programmers

Cloud markets advocate powerful instances to take computation over from the cyber‐physical system (CPS). Combining the Cloud and CPS layer, the whole Cloud–CPS framework is designed to achieve both accurate data sensing and fast data analysis. While most researchers trust the computation side, and focus on the actuator in the physical space to ensure the service‐level objectives, SLO, that is, deadline

Multiuser can collaboratively complete complex visualization tasks that cannot be completed by a single user. Although multiuser collaboration system has made great progress, there are many challenges in the collaborative visualization of 3D volumetric scientific data due to the difficulties in multiuser collaboration, and collaborative slice analysis. This article proposes a client‐server based collaborative

A data center infrastructure is composed of heterogeneous resources divided into three main subsystems: IT (processor, memory, disk, network, etc.), power (generators, power transformers, uninterruptible power supplies, distribution units, among others), and cooling (water chillers, pipes, and cooling tower). This heterogeneity brings challenges for collecting and gathering data from several devices

In scientific applications, physical quantities, and units of measurement are used regularly. If the inherent incompatibility between these units is not handled properly it can lead to potentially catastrophic problems. Although the risk of a miscalculation is high and the cost equally so, almost none of the major programming languages has support for physical quantities. We employed a systematic approach

Source code comments contain key information about the underlying software system. Many redocumentation approaches, however, cannot exploit this valuable source of information. This is mainly due to the fact that not all comments have the same goals and target audience and can therefore only be used selectively for redocumentation. Performing a required classification manually, for example, in the

Blockchain has attracted broad interests to build decentralised applications. A typical class of applications uses blockchain for the management of cross‐organisational business processes as well as assets. However, developing such applications without introducing vulnerabilities is hard for developers, not the least because the deployed code is immutable and can be called by anyone with access to

There is an increasing interest shown by researchers and developers in reducing the battery consumption of Android applications. Recently, the battery optimization features such as doze mode, app standby, background execution limits, and background location limits were introduced in the form of API changes. According to the API changes, application developers have to change their source code to manage

Automotive software systems have become increasingly complex and huge, leading to long development cycle and increased development difficulty. When a complete automotive software project has reached a scale of several gigabytes, the complicated development process is prone to produce the following two irregular problems: (1) variable inconsistency problem and (2) code coexistence problem. These irregular

Spatial analytics systems (SASs) represent a technology capable of managing huge volumes of spatial data using frameworks such as Apache Hadoop and Apache Spark. An increasing number of SASs have been proposed, requiring a comparison among them. However, existing comparisons in the literature provide a system‐centric view based on performance evaluations. Thus, there is a lack of comparisons based

RDFa, JSON‐LD, Microdata, and Microformats allow to endow the data in HTML files with metadata tags that help software agents understand them. Unluckily, there are many HTML files that do not have any metadata tags, which has motivated many authors to work on proposals to synthesize them. But they have some problems: the authors either provide an overall picture of their designs without too many details

Dynamic programming is a well‐known algorithmic technique that solves problems by a combination of dividing a problem into subproblems and using memoization to avoid an exponential growth of the costs. We show how to implement dynamic programming in Haskell using a variation of hylomorphisms that includes memoization. Our implementation uses polymorphism so the same function can return the best score

In recent years, the usage of smart mobile applications to facilitate day‐to‐day activities in various domains for enhancing the quality of human life has increased widely. With rapid developments of smart mobile applications, the edge computing paradigm has emerged as a distributed computing solution to support serving these applications closer to mobile devices. Since the submitted workloads to the

Cloud computing is becoming a profitable technology because of it offers cost‐effective IT solutions globally. A well‐designed task scheduling algorithm ensures the optimal utilization of clouds resources and reducing execution time dynamically. This research article deals with the task scheduling of inter‐dependent subtasks on unrelated parallel computing machines in a cloud computing environment

Model‐based development (MBD) holds the promise to capture potential timing problems in embedded software during the early phases of the development, securing the production of bug‐free embedded software. For most MBD approaches, the source code is just an intermediate artifact that can be generated automatically from the models. This assumption clashes with an undeniable fact: a large share of the

Open government data (OGD) is a type of trusted information that can be used to verify the correctness of information on social platforms. Finding interesting OGD to serve personalized needs to facilitate the development of social platforms is a challenging research topic. This study explores how to link the Taiwanese government's open data platform with Facebook and how to recommend related OGD. First

Natural language summaries of source codes are important during software development and maintenance. Recently, deep learning based models have achieved good performance on the task of automatic code summarization, which encode token sequence or abstract syntax tree (AST) of code with neural networks. However, there has been little work on the efficient combination of lexical and syntactical information

Integration of Internet of Things (IoT) with industries revamps the traditional ways in which industries work. Fog computing extends Cloud services to the vicinity of end users. Fog reduces delays induced by communication with the distant clouds in IoT environments. The resource constrained nature of Fog computing nodes demands an efficient placement policy for deploying applications, or their services

The increased complexity of hardware and software makes it difficult to analyze programs with conventional profilers. The causal profiling technique is introduced to solve the problem of conventional profilers. The causal profiling technique finds the bottleneck of the program and shows the effect of optimizing it. COZ, the newest causal profiler, exploits a technique called virtual speedup to perform

The importance of software in maritime transportation is rapidly increasing as the industry seeks to develop and utilize innovative future ships, which can be realized using software technology. Due to the safety‐critical nature of ships, software quality assurance (SQA) has become an essential prerequisite for such development.

A flaky test is a test that may lead to different results in different runs on a single code under test without any change in the test code. Test flakiness is a noxious phenomenon that slows down software deployment, and increases the expenditures in a broad spectrum of platforms such as software‐defined networks and Internet of Things environments. Industrial institutes and labs have conducted a whole

Sorting a set of items is a task that can be useful by itself or as a building block for more complex operations. That is why a lot of effort has been put into finding sorting algorithms that sort large sets as efficiently as possible. But the more sophisticated and complex the algorithms become, the less efficient they are for small sets of items due to large constant factors. A relatively simple

The majority of text is stored in UTF‐8, which must be validated on ingestion. We present the lookupalgorithm, which outperforms UTF‐8 validation routines used in many libraries and languages by more than 10 times using commonly available single‐instruction‐multiple‐data instructions. To ensure reproducibility, our work is freely available as open source software.

The term Cleaner Production (CP) for Production Companies is contemplated as influential to get sustainable production. CP mainly deals with three R's that is, reuse, reduce, and recycle. For software enterprise, the software reuse plays a pivotal role. Software reuse is a process of producing new products or software from the existing software by updating it. To extract useful information from the

This article addresses major information systems integration problems, approaches, technologies, and tools within the context of Model‐Driven Software Engineering. The Guaraná integration platform is introduced as an innovative platform amongst state‐of‐the‐art technologies available for enterprises to design and implement integration solutions. In this article, we present its domain‐specific modeling

The integration and crosscoordination of big data processing and software‐defined networking (SDN) are vital for improving the performance of big data applications. Various approaches for combining big data and SDN have been investigated by both industry and academia. However, empirical evaluations of solutions that combine big data processing and SDN are extremely costly and complicated. To address

The stock market is a capitalistic haven where the issued shares are transferred, traded, and circulated. It bases stock prices on the issue market, however, the structure and trading activities of the stock market are much more complicated than the issue market itself. Therefore, making an accurate prediction becomes an intricate as well as highly difficult task. On the other hand, because of the

Given an integer array A, the prefix‐sum problem is to answer sum(i) queries that return the sum of the elements in A[0..i], knowing that the integers in A can be changed. It is a classic problem in data structure design with a wide range of applications in computing from coding to databases. In this work, we propose and compare practical solutions to this problem, showing that new trade‐offs between

Service identification (SI) in the life cycle of service‐oriented architecture is a critical phase. Business models consisting of business process (BP) model and business entity (BE) model are the useful models that may be used for SI. To this end, SI is carried out by partitioning activities in BP based on the activities' use of the entities in BE. However, a proper partitioning activities to services

In this paper we study the performance of POSIX submatch extraction algorithms based on nondeterministic finite automata (NFA). We propose an algorithm that combines Laurikari tagged NFA and extended Okui‐Suzuki disambiguation. The algorithm works in worst‐case O(n m2 t) time and O(m2) space (including preprocessing), where n is the length of input, m is the size of the regular expression with bounded

At the beginning of the testing phase and before the deployment phase of a project's development cycle, we need to predict files with a high chance of change. Software products are always prone to change due to several reasons, including fixing errors or improvements. In this work, we used the Eclipse (releases from 2.0 to 3.5) to investigate how prediction models can perform when learning from a release

Operational services run 24×7 and require analytics pipelines to evaluate performance. In mature services such as domain name system (DNS), these pipelines often grow to many stages developed by multiple, loosely coupled teams. Such pipelines pose two problems: first, computation and data storage may be duplicated across components developed by different groups, wasting resources. Second, processing

Finite‐state models are extensively used for discrete systems and they have also been adopted for the analysis and verification of concurrent systems. Programs that have a repetitive cycle, such as event‐driven servers and controllers, lend themselves to finite‐state modeling. In this article, we use the term model extraction to refer to the construction of a finite‐state model from an execution trace

The automatic recovery of a program's high‐level representation from its binary version is a well‐studied problem in programming languages. However, most of the solutions to this problem are based on purely static approaches: techniques such as dataflow analyses or type inference are used to convert the bytes that constitute the executable code back into a control flow graph (CFG). This article departs

Developers spend a significant part of their time searching for code examples on the web. Often, they look for Application Programming Interface (API) usage examples, that is, how to use APIs provided by libraries and frameworks. For this purpose, several programming websites are available. Some programming websites provide manually created examples: unfortunately, as millions of APIs are available

Failures in computer systems can be often tracked down to software anomalies of various kinds. In many scenarios, it might be difficult, unfeasible, or unprofitable to carry out extensive debugging activity to spot the cause of anomalies and remove them. In other cases, taking corrective actions may led to undesirable service downtime. In this article, we propose an alternative approach to cope with

In the treatment of human cancer, the existing drug response identification and assessment methods have some issues, such as high cost, slow processing, and low accuracy. Responsive methods that easily and indirectly assess patient tissue response to drugs or small molecules offer promising options for improving drug safety, and they are able to identify the right treatment for specific patients. Digital

Realizing the full potential of the Internet of Things (IoT) requires solving technical and business challenges including the identification of things, their organization, and integration. The subsequent management of large data volumes that are generated from such systems, and the effective use of knowledge‐based decision systems that can make use of IoT resources remains a challenge at present. Various

Vulnerability detection and exploit is becoming a very important part of security, especially in malware code delivery, hacking a system, efforts to create patches, improving the source code, or updating a software. Vulnerabilities in applications, including browsers, media players, online services, document readers, and so forth. are often exploited and cause a serious damage. In this article, we

The necessity of developing sufficient systems to monitor health conditions has increased due to the aging of the population and the prevalence of chronic diseases, creating a demand for remote health care systems that make use of biosensors. This article proposes an energy‐saving multisensor data sampling and fusion with decision‐making for the monitoring of patient health risk in wireless body sensor

In recent years, Cyber‐Physical Systems (CPS) and Artificial Intelligence (AI) have made good progress in the medical field. The medical CPS (MCPS) based on AI can realize the efficient and reasonable utilization of medical resources and improve the quality of medical process. However, current MCPS are still facing several challenges, and the privacy protection of medical data is one of the most critical