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