Why This Matters

CPS reliability evaluation is challenging because software and hardware failures are interdependent and traditional approaches fail to account for tight coupling. This work innovates by providing integrated reliability analysis that decomposes system functions into components with explicit dependency modeling, enabling realistic reliability assessment for complex CPS applications.

What We Did

This work develops a reliability evaluation framework for cyber-physical systems incorporating both software and hardware reliability. It addresses reliability analysis by considering functional decomposition of systems and component dependencies. The framework models failure rates across sensors, software, communication systems, and hardware to estimate overall system reliability.

Key Results

The framework successfully analyzes a smart parking system demonstrating reliability computation across software applications, sensor networks, communication systems, and physical devices. Component-level reliability estimates combine into overall system reliability through functional decomposition. Results show how different failure modes and redundancy strategies affect system-level reliability metrics.

Full Abstract

Cite This Paper

@inproceedings{Nannapaneni2016,
  author = {Nannapaneni, Saideep and Mahadevan, Sankaran and Pradhan, Subhav and Dubey, Abhishek},
  booktitle = {2016 {IEEE} International Conference on Smart Computing, {SMARTCOMP} 2016, St Louis, MO, USA, May 18-20, 2016},
  title = {Towards Reliability-Based Decision Making in Cyber-Physical Systems},
  year = {2016},
  note = {At Workshop},
  pages = {1--6},
  abstract = {Cyber-physical systems (CPS) are systems with a tight integration between the computational (also referred to as software or cyber) and physical (hardware) components. While the reliability evaluation of physical systems is well-understood and well-studied, reliability evaluation of CPS is difficult because software systems do not degrade and follow a well-defined failure model like physical systems. In this paper, we propose a framework for formulating the CPS reliability evaluation as a dependence problem derived from the software component dependences, functional requirements and physical system dependences. We also consider sensor failures, and propose a method for estimating software failures in terms of associated hardware and software inputs. This framework is codified in a domain-specific modeling language, where every system-level function is mapped to a set of required components using functional decomposition and function-component association; this provides details about operational constraints and dependences. We also illustrate how the encoded information can be used to make reconfiguration decisions at runtime. The proposed methodology is demonstrated using a smart parking system, which provides localization and guidance for parking within indoor environments.},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/bib/conf/smartcomp/NannapaneniMPD16},
  category = {workshop},
  contribution = {lead},
  doi = {10.1109/SMARTCOMP.2016.7501724},
  file = {:Nannapaneni2016-Towards_Reliability-Based_Decision_Making_in_Cyber-Physical_Systems.pdf:PDF},
  keywords = {reliability analysis, cyber-physical systems, software reliability, hardware reliability, functional decomposition, smart parking, component modeling},
  project = {cps-reliability},
  tag = {platform},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  url = {https://doi.org/10.1109/SMARTCOMP.2016.7501724}
}
Quick Info
Year 2016
Keywords
reliability analysis cyber-physical systems software reliability hardware reliability functional decomposition smart parking component modeling
Research Areas
CPS scalable AI
Search Tags

Towards, Reliability, Decision, Making, Cyber, Physical, Systems, reliability analysis, cyber-physical systems, software reliability, hardware reliability, functional decomposition, smart parking, component modeling, CPS, scalable AI, 2016, Nannapaneni, Mahadevan, Pradhan, Dubey