DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems

@article{Moreno2019DARTSimAE,
  title={DARTSim: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Smart Cyber-Physical Systems},
  author={Gabriel A. Moreno and Cody Kinneer and Ashutosh Pandey and David Garlan},
  journal={2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)},
  year={2019},
  pages={181-187}
}
  • Gabriel A. Moreno, Cody Kinneer, D. Garlan
  • Published 25 May 2019
  • Computer Science
  • 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Motivated by the need for cyber-physical systems (CPS) to perform in dynamic and uncertain environments, smart CPS (sCPS) utilize self-adaptive capabilities to autonomously manage uncertainties at the intersection of the cyber and physical worlds. In this context, self-adaptation approaches face particular challenges, including (i) environment monitoring that is subject to sensing errors; (ii) adaptation actions that take time, sometimes due to physical movement; (iii) dire consequences for not… 

A role-based architecture for self-adaptive cyber-physical systems

TLDR
A model-driven architecture for self-adaptive cyber-physical systems that explicitly models structured context is envisioned and the current state of research is discussed and open research challenges are identified.

Evaluation Framework for a Self-Adaptive Cyber-Physical System on an Example of a Multi-Robot System

  • Computer Science
  • 2020
TLDR
A previously created reference problem on Self-Adaptive Cyber-Physical Systems (SACPS) from the robotics domain, and the previous implementation of the model problem in two ROS-based in-house built simulators: 1) realistic simulation with Gazebo, and 2) custom simulation in which are omitted the uncertainties from the AMCL and the move-base modules.

Hybrid Planning Using Learning and Model Checking for Autonomous Systems

TLDR
This paper demonstrates that this learning-based approach outperforms existing techniques that are based on specifying fixed conditions to invoke reactive planning in two domains: enterprise cloud systems and unmanned aerial vehicles.

Reducing Run-Time Adaptation Space via Analysis of Possible Utility Bounds

  • Clay StevensH. Bagheri
  • Computer Science
    2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)
  • 2020
TLDR
This work proposes a novel approach that improves upon the state-of-the-art proactive self-adaptation techniques to reduce the number of possible adaptations that need be considered for each run-time adaptation decision.

The Concept of an Autonomic Avionics Platform and the Resulting Software Engineering Challenges

TLDR
This work proposes a partition-based architecture providing autonomic features for avionics software platforms while being compliant to regulations and accepted technologies, such as ARINC 653, and defines the required design assurance level and possible realization techniques.

An agent architecture for autonomous UAV flight control in object classification and recognition missions

TLDR
This research addresses the general problem of designing an agent-based autonomous flight control (AFC) architecture of a UAV to facilitate autonomous routing/navigation in uncharted and unascertained environments of organized foyer surroundings.

RoboMAX: Robotic Mission Adaptation eXemplars

TLDR
The RoboMAX repository is co-designed with robotic application stakeholders including researchers, developers, operators, and end-users, and captures key sources of uncertainty, adaptation concerns, and other distinguishing characteristics of such applications.

Towards Understanding Adaptation Latency in Self-adaptive Systems

TLDR
A model of adaptation latency is presented that breaks it down into four components and a preliminary survey is presented, limited to one conference series and to service-based and cloud-based systems, to analyze information about adaptation latency in the available literature on selfadaptive systems.

Information Reuse and Stochastic Search

TLDR
A planner based on genetic programming that reuses existing plans is presented and a series of techniques to lower the costs of reuse, allowing genetic techniques to leverage existing information to improve utility when replanning for unexpected changes, and it is found that coarsely shaped search-spaces present profitable opportunities for reuse.

References

SHOWING 1-10 OF 18 REFERENCES

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions

TLDR
This paper reports on the results of the Second International Workshop on Software Engineering for Smart Cyber--Physical Systems (SEsCPS 2016), which specifically focuses on challenges and promising solutions in the area of software engineering for sCPS.

Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS

TLDR
This paper reports on the results of the First International Workshop on Software Engineering of Smart Cyber-Physical Systems (SEsCPS 2015), where participants discussed characteristics, challenges and opportunities of SE for smart CPS, with the aim to outline an agenda for future research in this important area.

High Assurance for Distributed Cyber Physical Systems

TLDR
The architecture and approach to engineering a DART system so that high assurance in its runtime behavior against a set of formally specified requirements is introduced and the DART model problem is introduced to demonstrate the engineering approach.

Flexible and Efficient Decision-Making for Proactive Latency-Aware Self-Adaptation

TLDR
PLA-SDP is described, an approach that eliminates that runtime overhead by constructing most of the MDP offline and presents extensions that support different notions of utility, such as maximizing reward gain subject to the satisfaction of a probabilistic constraint, making PLA-SSP applicable to systems with different kinds of adaptation goals.

Proactive self-adaptation under uncertainty: a probabilistic model checking approach

TLDR
The key idea is to use a formal model of the adaptive system in which the adaptation decision is left underspecified through nondeterminism, and have the model checker resolve the nondeterministic choices so that the accumulated utility over the horizon is maximized.

Decision-Making with Cross-Entropy for Self-Adaptation

TLDR
The CE method is an any-time algorithm based on random sampling from the solution space, and is not guaranteed to find an optimal solution, but in practice it finds solutions that are close to optimum even when its running time is restricted to a fraction of a second.

Robust UAV Search for Environments with Imprecise Probability Maps

  • L. BertuccelliJ. How
  • Computer Science
    Proceedings of the 44th IEEE Conference on Decision and Control
  • 2005
TLDR
A new framework for UAV search operations is introduced and a new approach to calculate the minimum number of looks needed to achieve a given level of confidence of target existence in an uncertain gridded environment is proposed.

A survey of autonomic computing—degrees, models, and applications

TLDR
An introduction to the motivation and concepts of autonomic computing is provided and some research that has been seen as seminal in influencing a large proportion of early work is described, including the works that have provided significant contributions to an established reference model.

Advanced Formation Flight Control.

Abstract : In this thesis, the formation flight control problem is continued from four previous theses. Automatic formation flight involves controlling multiple aircraft equipped with standard

Probabilistic target detection by camera-equipped UAVs

TLDR
This paper considers the problem of tracking a static target from a bird's-eye view camera mounted to the underside of a quadrotor UAV, and proposes a target detection algorithm, which is then executed on a collection of video frames acquired from four different experiments.