Why This Matters

Mobile CPS platforms operate in dynamic, unpredictable environments requiring autonomous adaptation to failures without external intervention. This work innovates by combining design-time analysis tools with runtime reconfiguration infrastructure, enabling distributed systems to autonomously detect failures and recompute optimal configurations maintaining system resilience throughout operations.

What We Did

This comprehensive work develops resilience mechanisms for distributed cyber-physical systems through runtime self-reconfiguration. The paper presents design-time reliability analysis tools and runtime self-reconfiguration infrastructure enabling autonomous system resilience. It demonstrates application to mobile CPS platforms including fractional satellite clusters requiring dynamic adaptation.

Key Results

The framework successfully demonstrates resilience for fractional satellite systems handling node failures and configuration recomputation. Design-time reliability analysis identifies configuration points enabling efficient runtime adaptation. Experimental results show the system maintains functionality when components fail by transitioning to alternative configurations computed at runtime.

Full Abstract

Cite This Paper

@article{Pradhan2016,
  author = {Pradhan, Subhav and Dubey, Abhishek and Levendovszky, Tihamer and Kumar, Pranav Srinivas and Emfinger, William and Balasubramanian, Daniel and Otte, William and Karsai, Gabor},
  journal = {Journal of Systems and Software},
  title = {Achieving resilience in distributed software systems via self-reconfiguration},
  year = {2016},
  pages = {344--363},
  volume = {122},
  abstract = {Improvements in mobile networking combined with the ubiquitous availability and adoption of low-cost development boards have enabled the vision of mobile platforms of Cyber-Physical Systems (CPS), such as fractionated spacecraft and UAV swarms. Computation and communication resources, sensors, and actuators that are shared among different applications characterize these systems. The cyber-physical nature of these systems means that physical environments can affect both the resource availability and software applications that depend on resource availability. While many application development and management challenges associated with such systems have been described in existing literature, resilient operation and execution have received less attention. This paper describes our work on improving runtime support for resilience in mobile CPS, with a special focus on our runtime infrastructure that provides autonomous resilience via self-reconfiguration. We also describe the interplay between this runtime infrastructure and our design-time tools, as the later is used to statically determine the resilience properties of the former. Finally, we present a use case study to demonstrate and evaluate our design-time resilience analysis and runtime self-reconfiguration infrastructure.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/journals/jss/PradhanDLKEBOK16},
  contribution = {lead},
  doi = {10.1016/j.jss.2016.05.038},
  file = {:Pradhan2016-Achieving_resilience_in_distributed_software_systems_via_self-reconfiguration.pdf:PDF},
  keywords = {resilience, self-reconfiguration, distributed systems, fault tolerance, mobile platforms, design-time analysis, runtime adaptation},
  project = {cps-middleware,cps-reliability},
  tag = {platform,a14cps},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  url = {https://doi.org/10.1016/j.jss.2016.05.038}
}
Quick Info
Year 2016
Keywords
resilience self-reconfiguration distributed systems fault tolerance mobile platforms design-time analysis runtime adaptation
Research Areas
CPS scalable AI
Search Tags

Achieving, resilience, distributed, software, systems, self, reconfiguration, self-reconfiguration, distributed systems, fault tolerance, mobile platforms, design-time analysis, runtime adaptation, CPS, scalable AI, 2016, Pradhan, Dubey, Levendovszky, Kumar, Emfinger, Balasubramanian, Otte, Karsai