A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems

作者：Yang, Jun; Aldemir, Tunc^*; Smidts, Carol

来源：IEEE Transactions on Reliability, 2018, 67(4): 1442-1458.

DOI：10.1109/TR.2018.2864630

• Digital control system
• failure analysis
• fault diagnosis
• Markov/cell-to-cell mapping technique (CCMT)
• software fault localization

Reliability and safety assurance are of supreme importance in the implementation of digital safety-critical control systems. A deductive method integrated with simulation-based fault injection and testing is presented for out-of-range permanent software fault localization. For fault modeling, an input-output mapping scheme is proposed to characterize the behavior of software modules and represent failure modes in an analogous manner to hardware state definitions. TheMarkov/cell-to-cell-mapping scheme is used for diagnostics. The diagnostic process is illustrated by several case studies for a boiling water reactor feedwater control system. The case study results show that the diagnostic algorithm is capable of software fault localization in the presence of both single and multiple faults.

• 出版日期2018-12
• 单位华南理工大学