This paper presents an approach to analyzing a model of networked cyber-physical systems for fault propagation. We present an implementation of a probabilistic logic model, which allows for reasoning via symbolic evaluation as well as numeric evaluation to perform a quantitative fault analysis. Our models are built from a few building blocks, which can be instantiated as standard or high integrity; communication paths can be made redundant, and finally, whole subsystem blocks can be replicated. We assume an underlying networking infrastructure of TTEthernet, which allows traffic of time-triggered, rate-constrained, or best-effort modes with different safety features. We apply our approach to a case study of a brake-by-wire system that contains communication flows with different traffic modes according to their criticality.

@InProceedings{briesemeister:AVICPS:2011,
  author = 	 {Linda Briesemeister and Grit Denker and Daniel Elenius and Ian Mason and Srivatsan Varadarajan and Devesh Bhatt and Brendan Hall and Gabor Madl and Wilfried Steiner},
  title = 	 {Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems},
  booktitle = {2nd Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS)},
  year = 	 {2011},
  month = 	 nov,
}

• AVICPS2011.pdf