{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T23:00:23Z","timestamp":1767913223405,"version":"3.49.0"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/tr.2018.2864630","type":"journal-article","created":{"date-parts":[[2018,8,29]],"date-time":"2018-08-29T16:02:09Z","timestamp":1535558529000},"page":"1442-1458","source":"Crossref","is-referenced-by-count":7,"title":["A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8499-9074","authenticated-orcid":false,"given":"Jun","family":"Yang","sequence":"first","affiliation":[]},{"given":"Tunc","family":"Aldemir","sequence":"additional","affiliation":[]},{"given":"Carol","family":"Smidts","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"451","article-title":"Safety critical software in process control and nuclear power","author":"welbourne","year":"0"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2014.10.022"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(90)90002-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1987.5222318"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2015.08.013"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.09.024"},{"key":"ref37","year":"2009"},{"key":"ref36","first-page":"55","article-title":"A quantitative and risk based framework for\n UAS control system assurance","volume":"15","author":"hejase","year":"2018","journal-title":"J Aerosp Inf Syst"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.2172\/226074"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(92)90135-8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.245"},{"key":"ref27","article-title":"System\n diagnosis using hybrid failure propagation graphs","author":"abdelwahed","year":"2003"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060413000152"},{"key":"ref2","year":"1980","journal-title":"Military Standard Procedures for Performing a Failure Mode Effects and Criticality Analysis MIL-STD-1629A"},{"key":"ref1","author":"pham","year":"2000","journal-title":"Software Reliability"},{"key":"ref20","first-page":"971","article-title":"A model-based approach to reactive self-configuring systems","volume":"2","author":"williams","year":"0","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref22","article-title":"Model-based safety\n analysis","author":"joshi","year":"2006"},{"key":"ref21","first-page":"370","article-title":"Back to the future with consistency-based trajectory tracking","author":"kurien","year":"0","journal-title":"Proc Amer Assoc Artif Intell"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/62.373993"},{"key":"ref23","article-title":"Model-implemented fault injection for robustness assessment","author":"svenningsson","year":"2011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45034-3_59"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1985.5222226"},{"key":"ref50","author":"sujatha","year":"2010","journal-title":"Vibration and Acoustics Measurement and Signal Analysis"},{"key":"ref51","article-title":"Digital feedwater\n controller for a BWR: A conceptual design study","author":"carmichael","year":"1984"},{"key":"ref56","author":"beizer","year":"1995","journal-title":"Black Box Testing Techniques for Functional Testing of Software Systems"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.13182\/NSE07-A2680"},{"key":"ref54","article-title":"Testing and installation of a BWR digital\n feedwater control system","author":"popovic","year":"1987"},{"key":"ref53","article-title":"A benchmark implementation of two dynamic\n methodologies for the reliability modeling of digital instrumentation and control systems","author":"aldemir","year":"2009"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/NSSMIC.1993.701793"},{"key":"ref10","article-title":"Safety analysis integration in a systems engineering approach for\n mechatronic systems design","author":"mhenni","year":"2014"},{"key":"ref11","author":"ganssle","year":"2008","journal-title":"The Art of Designing Embedded Systems"},{"key":"ref40","year":"1994","journal-title":"Software Important to Safety in Nuclear Power Plants International Atomic Energy Agency"},{"key":"ref12","year":"2014","journal-title":"WGRISK Task DIGREL—Failure Modes Taxonomy for Reliability Assessment of Digital I&C Systems for PRA NEA\/CSNI\/R(2014)16"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1111\/j.1539-6924.2006.00795.x"},{"key":"ref14","author":"chen","year":"1998","journal-title":"Robust Model-Based Fault Diagnosis for Dynamic Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3644-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2008.48"},{"key":"ref17","author":"giarratano","year":"2004","journal-title":"Expert Systems Principles and Programming"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"ref19","first-page":"1238","article-title":"Model based monitoring of dynamic systems","volume":"2","author":"dvorak","year":"0","journal-title":"Proc Int Joint Conf Artif Intell"},{"key":"ref4","article-title":"PRA procedures guide: A guide to the performance of\n probabilistic risk assessments for nuclear power plants","year":"1983"},{"key":"ref3","year":"2000","journal-title":"FAA System Safety Handbook"},{"key":"ref6","first-page":"122","article-title":"Model-based safety analysis of Simulink models using SCADE design verifier","author":"joshi","year":"0","journal-title":"Proc Int Conf Comput Saf Rel Secur"},{"key":"ref5","article-title":"Current state of reliability modeling\n methodologies for digital systems and their acceptance criteria for nuclear power plant assessments","author":"aldemir","year":"2006"},{"key":"ref8","first-page":"1","article-title":"Improving\n dependability of embeded software systems using fault bypass modeling (FBM)","author":"rana","year":"0","journal-title":"Proc Polish Nat Conf Softw Eng"},{"key":"ref7","first-page":"208","article-title":"Improving safety assessment of\n complex systems: An industrial case study","volume":"2805","author":"bozzano","year":"0","journal-title":"Proc Formal Methods Eur"},{"key":"ref49","first-page":"121","article-title":"Advanced signal processing techniques for fault\n diagnostics—A review","volume":"4","author":"kayhangulez","year":"1999","journal-title":"Comput Math Appl"},{"key":"ref9","first-page":"606","article-title":"Tool for\n translating Simulink models into input language of a model checker","volume":"4260","author":"meenakshi","year":"0","journal-title":"Proc 1st Int Conf Formal Engineering Methods"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1006\/jsvi.1995.0166"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(98)00077-5"},{"key":"ref48","first-page":"630","article-title":"A\n recursive partitioning approach to DSD","author":"burghelea","year":"2002","journal-title":"Proc Int Topical Meeting Probabilistic Saf Assessment"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.01.008"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(95)00133-6"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2010.04.011"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.13182\/NSE04-A2415"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.13182\/NSE97-A28597"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/8552524\/08449110.pdf?arnumber=8449110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T03:28:17Z","timestamp":1643254097000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8449110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":56,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tr.2018.2864630","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12]]}}}