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

  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)},
  • Gabriel A. MorenoCody 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

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
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

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
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.

Hybrid Planning in Self-Adaptive Systems

  • Ashutosh Pandey
  • Computer Science, Business
    2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems (FAS*W)
  • 2017
This work proposes a hybrid planning approach that combines more than one planning approach to bring their benefits together to deal with the fundamental trade-off between quality and timeliness of planning.

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

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

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

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

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.



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

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

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

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.

Model Predictive Control for Software Systems with CobRA

This paper examines the case where the environment changes dynamically over time and the chosen adaptation has to take into account such changes and proposes a controller that exploits this relationship to optimize the satisfaction of requirements relative to a cost-function.

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

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

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

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
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

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