26,145 research outputs found
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems
An increasingly important requirement for certain classes of software-intensive systems is the ability to self-adapt their structure and behavior at run-time when reacting to changes that may occur to the system, its environment, or its goals. A major challenge related to self-adaptive software systems is the ability to provide assurances of their resilience when facing changes. Since in these systems, the components that act as controllers of a target system incorporate highly complex software, there is the need to analyze the impact that controller failures might have on the services delivered by the system. In this paper, we present a novel approach for evaluating the resilience of self-adaptive software systems by applying robustness testing techniques to the controller to uncover failures that can affect system resilience. The approach for evaluating resilience, which is based on probabilistic model checking, quantifies the probability of satisfaction of system properties when the target system is subject to controller failures. The feasibility of the proposed approach is evaluated in the context of an industrial middleware system used to monitor and manage highly populated networks of devices, which was implemented using the Rainbow framework for architecture-based self-adaptation
Ant colony system-based applications to electrical distribution system optimization
Chapter 16, February 201
Design of Ad Hoc Wireless Mesh Networks Formed by Unmanned Aerial Vehicles with Advanced Mechanical Automation
Ad hoc wireless mesh networks formed by unmanned aerial vehicles (UAVs)
equipped with wireless transceivers (access points (APs)) are increasingly
being touted as being able to provide a flexible "on-the-fly" communications
infrastructure that can collect and transmit sensor data from sensors in
remote, wilderness, or disaster-hit areas. Recent advances in the mechanical
automation of UAVs have resulted in separable APs and replaceable batteries
that can be carried by UAVs and placed at arbitrary locations in the field.
These advanced mechanized UAV mesh networks pose interesting questions in terms
of the design of the network architecture and the optimal UAV scheduling
algorithms. This paper studies a range of network architectures that depend on
the mechanized automation (AP separation and battery replacement) capabilities
of UAVs and proposes heuristic UAV scheduling algorithms for each network
architecture, which are benchmarked against optimal designs.Comment: 12 page
Memristors for the Curious Outsiders
We present both an overview and a perspective of recent experimental advances
and proposed new approaches to performing computation using memristors. A
memristor is a 2-terminal passive component with a dynamic resistance depending
on an internal parameter. We provide an brief historical introduction, as well
as an overview over the physical mechanism that lead to memristive behavior.
This review is meant to guide nonpractitioners in the field of memristive
circuits and their connection to machine learning and neural computation.Comment: Perpective paper for MDPI Technologies; 43 page
- …