SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems
 by Dr. Linda Briesemeister, Dr. Grit Denker, Daniel Elenius, Dr. Ian A. Mason, Srivatsan Varadarajan, Devesh Bhatt, Brendan Hall, Gabor Madl (Honeywell) & Wilfried Steiner (TTTech AG).

Abstract
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.
BibTEX Entry
@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,
}
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy