The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Current processors provide a variety of different processing units to improve performance and power efficiency. For example, ARM's big.LITTLE, AMD's APUs, and Oracle's M7 provide heterogeneous processors, on-die GPUs, and on-die accelerators. However, the performance experienced by programs using these processing units can vary widely due to contention from multiprogramming, thermal constraints and...
Resilience is an important challenge for extreme-scale supercomputers. Failures in current supercomputers are assumed to be uniformly distributed in time. However, recent studies show that failures in high-performance computing systems are partially correlated in time, generating periods of higher failure density. The detection of those periods is important in order to adjust the system to new conditions...
In this work, we present an efficient and practical algorithm, named COPAL (Connectivity preserving algorithm), to identify routers, that will cause network disconnection in an off position, based on a distributed depth-first search (DFS) through “neighbor-to-neighbor” communication. The algorithm allows the runtime system to make effective power-gating decisions in on-chip network based systems....
Dynamically adaptive multi-agent systems (DAMS) consist of multiple agents that adapt to changing system and environmental conditions in order to achieve collaborative goals. As DAMS are found in applications across various domains, ensuring the correct and safe adaptations of DAMS has become more important. Formal verification techniques such as model checking present a promising approach to guaranteeing...
Smart Environments (SE) and Internet of Things (IoT) are two concepts that connect consumer electronics (CE) to each other and to the Internet domain. This enables various applications where CE devices work together to achieve goals of their users by communicating over a network. Application failures due to fluctuation of resources and environmental factors must be prevented, even though it is a challenge...
Distributed monitoring and control applications running on top of wireless sensor and actuator networks need to be developed in a structured and flexible way. Such applications also have strict timing constraints, which need to be properly captured and tested at development time. But these constraints can still be violated at runtime, due to a number of reasons, such as an overly high processing load...
Accurate energy estimates for applications running on FPGA based processors at runtime can enable advanced energy management algorithms to dynamically tune the system to optimize its energy consumption and in turn increase the battery life in the mobile systems. This paper presents an online methodology to monitor energy per instruction on FPGA platform that can be used to accurately estimate energy...
Complex software-intensive systems are often described as systems of systems (SoS) comprising heterogeneous architectural elements. As SoS behavior fully emerges during operation only, runtime monitoring is needed to detect deviations from requirements. Today, diverse approaches exist to define and check runtime behavior and performance characteristics. However, existing approaches often focus on...
The behavior of systems of systems (SoS) emerges only fully during operation and is hard to predict. SoS thus need to be monitored at runtime to detect deviations from important requirements. However, existing approaches for checking runtime behavior and performance characteristics are limited with respect to the kinds of checks and the types of technologies supported, which impedes their use in industrial...
Data races are the hardest defect to handle in multithread programs due to their nondeterministic interleaving of concurrent threads. The main drawback of data race detection using dynamic techniques is the additional overhead of monitoring program execution and analyzing every conflicting memory operation. Thus, it is important to reduce the additional overheads for debugging data races. This paper...
Emerging IoT cloud systems create unified IoT cloud infrastructures that offer large pools of elastic resources, which need to be governed through their entire lifecycle. However, numerous uncertainties are inherently present in such infrastructures, mainly due to the novel interactions of IoT elements, network elements, cloud resources and humans. They pose a plethora of challenges for the governance...
Events produced from business process execution need identification of process instance. With the lack of a central execution, it is hard to correlate these events to specific cases. Monitoring business processes is useful in conformance checking, compliance enforcement, risk management, and performance analysis. However, all these techniques and approaches need a set of correlated events. We present...
Nowadays, we are witnessing trends in technology, fabrication processes and computing architectures that lead to the design and development of processing systems constituted by a relevant number of independent, heterogeneous execution resources. The aim is to achieve high-performance while leveraging on other aspects, such as energy consumption. Indeed, heterogeneity comes at the cost of greater design...
A simple statistical approach based on exponentially weighted moving average (EWMA) charts for monitoring quality of service (QoS) violations is presented in this paper. The monitoring is performed by checking the actual services performance against the QoS stated in Service Level Agreement (SLA). Our approach monitors their QoS attributes and reveals early forecasts of violations in customers' demands...
Runtime Verification (RV) has recently emerged as a complementary technology to extend coverage of conventional software verification methods. To address the substantial performance and power overhead of pure software RV frameworks, this paper introduces NUVA, which stands for nonuniform verification architecture, a distributed automata-based RV architecture for parametric specifications in the form...
This paper investigates runtime shaping for mixed-criticality systems to increase the system QoS. Unlike the previous work in the literature that enforces an offline workload bound, an adaptively shaping approach is proposed where the incoming workload of the low-critical tasks is regulated by the actual demand of the high-critical tasks. This actual demand is adaptively updated using the historical...
Centralised management of distributed systems require a significant amount of monitoring traffic to maintain an accurate view of the system global state. The communication overhead of these systems becomes a bottleneck as the number of processing elements in the network and workload increase. State-of-the art in decentralised resource management techniques address this issue by allowing individual...
In this paper we introduce X-Ware, a framework for computing whereby components used by an application can take different forms and characteristics across the lifetime of the system in order to adjust to dynamic application requirements. In particular, we explore two aspects of system mutability: dynamic choice of implementations for certain system components (e.g., leading to different trade-offs...
The main goal of the ANTAREX project is to express by a Domain Specific Language (DSL) the application self-adaptivity and to runtime manage and autotune applications for green and heterogeneous High Performance Computing (HPC) systems up to the Exascale level. Key innovations of the project include the introduction of a separation of concerns between self-adaptivity strategies and application functionalities...
Existing measurement frameworks typically assume that the communication protocols and mechanisms running on the devices do not change during network operation. However, recent research efforts show that by enabling devices to switch between protocols and mechanisms at runtime the overall network performance can be improved. In this paper, a novel measurement framework that enables the continuous and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.