On the use of probabilistic model-checking for the verification of prognostics applications

Prognostics aims to improve asset availability through intelligent maintenance actions. Up-to-date remaining useful life predictions enable the optimization of maintenance planning. Verification of prognostics techniques aims to analyze if the prognostics application meets the design requirements. Online prognostics applications depend on the data-gathering hardware architecture to perform correct prognostics predictions. Accordingly, when verifying prognostics requirements compliance, it is necessary to include the effect of hardware failures on prognostics predictions. In this paper we investigate the use of formal verification techniques for the integrated verification of prognostics applications including hardware and software components. Focusing on the probabilistic model-checking approach, a case study from the power industry shows the validity of the proposed framework.

[1]  Makis Stamatelatos,et al.  Fault tree handbook with aerospace applications , 2002 .

[2]  K. Goebel,et al.  Metrics for evaluating performance of prognostic techniques , 2008, 2008 International Conference on Prognostics and Health Management.

[3]  Dragan Banjevic,et al.  Calculation of reliability function and remaining useful life for a Markov failure time process , 2006 .

[4]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[5]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[6]  Shankar Sankararaman,et al.  Significance, interpretation, and quantification of uncertainty in prognostics and remaining useful life prediction , 2015 .

[7]  V. M. Catterson Prognostic modeling of transformer aging using Bayesian particle filtering , 2014, 2014 IEEE Conference on Electrical Insulation and Dielectric Phenomena (CEIDP).

[8]  Jose Ignacio Aizpurua,et al.  Towards a methodology for design of prognostic systems , 2015 .

[9]  Joost-Pieter Katoen,et al.  Faster and Symbolic CTMC Model Checking , 2001, PAPM-PROBMIV.

[10]  Ole J. Mengshoel,et al.  Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems , 2015 .

[11]  George Vachtsevanos,et al.  Novel metrics and methodologies for the verification and validation of prognostic algorithms , 2011, 2011 Aerospace Conference.

[12]  Christel Baier,et al.  Principles of model checking , 2008 .

[13]  Brian J. Taylor,et al.  Verification and validation of neural networks: a sampling of research in progress , 2003, SPIE Defense + Commercial Sensing.

[14]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[15]  Kai Goebel,et al.  Are Current Prognostic Performance Evaluation Practices Sufficient and Meaningful? , 2014 .