{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:37:57Z","timestamp":1765280277216,"version":"3.37.3"},"reference-count":46,"publisher":"Cambridge University Press (CUP)","license":[{"start":{"date-parts":[[2022,2,3]],"date-time":"2022-02-03T00:00:00Z","timestamp":1643846400000},"content-version":"unspecified","delay-in-days":33,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100006133","name":"Advanced Research Projects Agency - Energy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006133","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2022]]},"abstract":"<jats:title>Abstract<\/jats:title>\n\t  <jats:p>Fault propagation analysis is a process used to determine the consequences of faults residing in a computer system. A typical computer system consists of diverse components (e.g., electronic and software components), thus, the faults contained in these components tend to possess diverse characteristics. How to describe and model such diverse faults, and further determine fault propagation through different components are challenging problems to be addressed in the fault propagation analysis. This paper proposes an ontology-based approach, which is an integrated method allowing for the generation, injection, and propagation through inference of diverse faults at an early stage of the design of a computer system. The results generated by the proposed framework can verify system robustness and identify safety and reliability risks with limited design level information. In this paper, we propose an ontological framework and its application to analyze an example safety-critical computer system. The analysis result shows that the proposed framework is capable of inferring fault propagation paths through software and hardware components and is effective in predicting the impact of faults.<\/jats:p>","DOI":"10.1017\/s0890060421000342","type":"journal-article","created":{"date-parts":[[2022,2,3]],"date-time":"2022-02-03T08:04:14Z","timestamp":1643875454000},"update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":6,"title":["An ontology-based fault generation and fault propagation analysis approach for safety-critical computer systems at the design stage"],"prefix":"10.1017","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4672-6352","authenticated-orcid":false,"given":"Xiaoxu","family":"Diao","sequence":"first","affiliation":[]},{"given":"Mike","family":"Pietrykowski","sequence":"additional","affiliation":[]},{"given":"Fuqun","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Chetan","family":"Mutha","sequence":"additional","affiliation":[]},{"given":"Carol","family":"Smidts","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,2,3]]},"reference":[{"key":"S0890060421000342_ref2","unstructured":"Avizienis, A , Laprie, J-C and Randell, B (2001) Fundamental concepts of computer system dependability. IARP\/IEEE_RAS Workshop on Robot Dependability: Technological Challenge of Dependable Robots in Human Environments, pp.1\u201316."},{"key":"S0890060421000342_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2017.10.037"},{"key":"S0890060421000342_ref28","doi-asserted-by":"publisher","DOI":"10.1109\/12.2145"},{"key":"S0890060421000342_ref30","doi-asserted-by":"publisher","DOI":"10.1109\/12.862216"},{"key":"S0890060421000342_ref1","unstructured":"Allen, JD and Unicode Consortium (2007) OWL 2 Web Ontology Language, p. 1417."},{"key":"S0890060421000342_ref6","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/1995376.1995394","article-title":"Satisfiability modulo theories: introduction and applications","volume":"54","author":"Bjorner","year":"2011","journal-title":"Communications of the ACM"},{"key":"S0890060421000342_ref9","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281880"},{"key":"S0890060421000342_ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FUTURETECH.2010.5482708"},{"key":"S0890060421000342_ref36","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2012.6300856"},{"key":"S0890060421000342_ref38","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2016.7447984"},{"key":"S0890060421000342_ref12","first-page":"1.1","article-title":"Ontology-based fault propagation in building automation systems","volume":"18","author":"Dibowski","year":"2017","journal-title":"International Journal of Simulation: Systems, Science and Technology"},{"key":"S0890060421000342_ref43","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2010.0660"},{"key":"S0890060421000342_ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2010.59"},{"key":"S0890060421000342_ref45","article-title":"Failure propagation modeling and analysis via system interfaces","volume":"2016","author":"Zhao","year":"2016","journal-title":"Mathematical Problems in Engineering"},{"key":"S0890060421000342_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"S0890060421000342_ref44","doi-asserted-by":"publisher","DOI":"10.1109\/AUTEST.2015.7356492"},{"key":"S0890060421000342_ref17","unstructured":"Gao, J , Li, G and Gao, Z (2008) Fault propagation analysis for complex system based on small-world network model. Proceedings of the 2008 Annual Reliability and Maintainability Symposium, pp. 1\u20135."},{"key":"S0890060421000342_ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1988.25705"},{"key":"S0890060421000342_ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2757001.2757003"},{"key":"S0890060421000342_ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2007.46"},{"key":"S0890060421000342_ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2866403"},{"key":"S0890060421000342_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2019.05.091"},{"key":"S0890060421000342_ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2335484.2335504"},{"key":"S0890060421000342_ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"S0890060421000342_ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2008.55"},{"key":"S0890060421000342_ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.94"},{"key":"S0890060421000342_ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.113"},{"key":"S0890060421000342_ref32","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060413000152"},{"key":"S0890060421000342_ref34","unstructured":"Natarajan, S and Srinivasan, R (2010) A distributed intelligence system for improving fault diagnostic performance in large scale chemical processes. Escape-20, December."},{"key":"S0890060421000342_ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2012.10"},{"key":"S0890060421000342_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2015.07.002"},{"key":"S0890060421000342_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-001-0008-3"},{"key":"S0890060421000342_ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.051"},{"key":"S0890060421000342_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-932266-67-2.X5031-2"},{"key":"S0890060421000342_ref40","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.2000.843856"},{"key":"S0890060421000342_ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3307363.3307381"},{"key":"S0890060421000342_ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2009.5270111"},{"key":"S0890060421000342_ref39","unstructured":"Talagala, N and Patterson, D (1999) An analysis of error behavior in a large storage system, pp. 1\u201317."},{"key":"S0890060421000342_ref33","first-page":"333","article-title":"Bus and instruction fault diagnosis","volume":"133","author":"Narraway","year":"1986","journal-title":"IEE Proceedings: Computers and Digital Techniques"},{"key":"S0890060421000342_ref18","unstructured":"Gruber, T , Acquisition, K , Ontology, F \u2026 Level, TK (2012) What is an ontology? pp. 1\u20132."},{"key":"S0890060421000342_ref11","doi-asserted-by":"publisher","DOI":"10.1080\/00295450.2018.1426963"},{"key":"S0890060421000342_ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1921532.1921558"},{"key":"S0890060421000342_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_13"},{"key":"S0890060421000342_ref21","unstructured":"Horrocks, I , Patel-schneider, PF , Boley, H , Tabet, S , Grosof, B and Dean, M (2004) SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission 21, pp. 1\u201320."},{"key":"S0890060421000342_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.08.100"},{"key":"S0890060421000342_ref35","doi-asserted-by":"publisher","DOI":"10.1145\/966049.781528"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060421000342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,3]],"date-time":"2022-02-03T08:04:29Z","timestamp":1643875469000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060421000342\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":46,"alternative-id":["S0890060421000342"],"URL":"https:\/\/doi.org\/10.1017\/s0890060421000342","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"type":"print","value":"0890-0604"},{"type":"electronic","value":"1469-1760"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"Copyright \u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}],"article-number":"e1"}}