{"id":"https://openalex.org/W2887607879","doi":"https://doi.org/10.1109/access.2018.2863696","title":"An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking","display_name":"An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2887607879","doi":"https://doi.org/10.1109/access.2018.2863696","mag":"2887607879"},"language":"en","primary_location":{"id":"doi:10.1109/access.2018.2863696","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2863696","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2018.2863696","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027355692","display_name":"Lisong Wang","orcid":"https://orcid.org/0000-0003-1403-6760"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lisong Wang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-1403-6760","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028789471","display_name":"Sijie Li","orcid":"https://orcid.org/0000-0002-8329-1186"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sijie Li","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084652886","display_name":"Wei Ou","orcid":"https://orcid.org/0000-0002-3230-7563"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ou Wei","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103036649","display_name":"Mingyu Huang","orcid":"https://orcid.org/0000-0003-2829-8673"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyu Huang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030200419","display_name":"Jun Hu","orcid":"https://orcid.org/0000-0002-4707-6550"},"institutions":[{"id":"https://openalex.org/I120156002","display_name":"Boise State University","ror":"https://ror.org/02e3zdp86","country_code":"US","type":"education","lineage":["https://openalex.org/I120156002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jun Hu","raw_affiliation_strings":["College of Engineering, Boise State University, Boise, ID, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Engineering, Boise State University, Boise, ID, USA","institution_ids":["https://openalex.org/I120156002"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":1.4572,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83848134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"6","issue":null,"first_page":"46900","last_page":"46914"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.8470965027809143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7257729768753052},{"id":"https://openalex.org/keywords/fault-model","display_name":"Fault model","score":0.6517045497894287},{"id":"https://openalex.org/keywords/stuck-at-fault","display_name":"Stuck-at fault","score":0.5941997170448303},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.5719148516654968},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.5690510869026184},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5455619096755981},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5042561292648315},{"id":"https://openalex.org/keywords/fault-coverage","display_name":"Fault coverage","score":0.486608624458313},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.379632830619812},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3473777770996094},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.27884653210639954},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2609213590621948},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15624955296516418},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14699512720108032}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.8470965027809143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7257729768753052},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.6517045497894287},{"id":"https://openalex.org/C13625343","wikidata":"https://www.wikidata.org/wiki/Q7627418","display_name":"Stuck-at fault","level":4,"score":0.5941997170448303},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.5719148516654968},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.5690510869026184},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5455619096755981},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5042561292648315},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.486608624458313},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.379632830619812},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3473777770996094},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.27884653210639954},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2609213590621948},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15624955296516418},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14699512720108032},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2018.2863696","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2863696","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:b5b678803b394f6ebbafaa7939ff65f1","is_oa":true,"landing_page_url":"https://doaj.org/article/b5b678803b394f6ebbafaa7939ff65f1","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 6, Pp 46900-46914 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2018.2863696","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2018.2863696","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2521579461","display_name":null,"funder_award_id":"20165515001","funder_id":"https://openalex.org/F4320322857","funder_display_name":"Aeronautical Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320322857","display_name":"Aeronautical Science Foundation of China","ror":"https://ror.org/02wq41p38"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W3494227","https://openalex.org/W68069235","https://openalex.org/W69467742","https://openalex.org/W160223915","https://openalex.org/W949250345","https://openalex.org/W1521005453","https://openalex.org/W1543654202","https://openalex.org/W1565059069","https://openalex.org/W1712895775","https://openalex.org/W1802815921","https://openalex.org/W1959890433","https://openalex.org/W1964089329","https://openalex.org/W1971312707","https://openalex.org/W1971890097","https://openalex.org/W1976773489","https://openalex.org/W1979861434","https://openalex.org/W1983711511","https://openalex.org/W1986488828","https://openalex.org/W1987534624","https://openalex.org/W1990183105","https://openalex.org/W1999667930","https://openalex.org/W2019477184","https://openalex.org/W2022615696","https://openalex.org/W2023808162","https://openalex.org/W2047833365","https://openalex.org/W2048972217","https://openalex.org/W2052648921","https://openalex.org/W2056359803","https://openalex.org/W2070874614","https://openalex.org/W2083076268","https://openalex.org/W2089003125","https://openalex.org/W2094655264","https://openalex.org/W2099213660","https://openalex.org/W2120119918","https://openalex.org/W2123310844","https://openalex.org/W2130195901","https://openalex.org/W2142846362","https://openalex.org/W2143948339","https://openalex.org/W2144078201","https://openalex.org/W2149581858","https://openalex.org/W2150855845","https://openalex.org/W2154538165","https://openalex.org/W2154884120","https://openalex.org/W2164041037","https://openalex.org/W2168086947","https://openalex.org/W2170751616","https://openalex.org/W2174091519","https://openalex.org/W2183677651","https://openalex.org/W2185674614","https://openalex.org/W2314588797","https://openalex.org/W2563360703","https://openalex.org/W2740472706","https://openalex.org/W2741215532","https://openalex.org/W2791349361","https://openalex.org/W6600135147","https://openalex.org/W6606556706","https://openalex.org/W6631303184","https://openalex.org/W6632516896","https://openalex.org/W6633876122","https://openalex.org/W6640817265","https://openalex.org/W6645175265","https://openalex.org/W6656255003","https://openalex.org/W6671133281","https://openalex.org/W6674224364","https://openalex.org/W6680913320","https://openalex.org/W6681132374","https://openalex.org/W6684753038","https://openalex.org/W6685409061","https://openalex.org/W6731003592"],"related_works":["https://openalex.org/W2051500795","https://openalex.org/W1986800855","https://openalex.org/W2024194466","https://openalex.org/W3148663848","https://openalex.org/W2278517150","https://openalex.org/W3150960233","https://openalex.org/W4256030018","https://openalex.org/W2061946964","https://openalex.org/W2147400189","https://openalex.org/W2157545815"],"abstract_inverted_index":{"Fault":[0],"tree":[1,64,88,190],"generation":[2,89],"technology":[3],"is":[4,92,120,135,162,197],"a":[5,46,62,86],"key":[6],"issue":[7],"for":[8,155],"safety":[9,16,72,81,172,184],"analysis":[10,17],"of":[11,27,48,50,70,80,102,224],"large":[12],"complex":[13],"systems.":[14],"Traditional":[15],"methods":[18],"usually":[19],"describe":[20,123,143,169],"the":[21,28,34,42,55,68,71,76,99,112,116,124,131,139,144,150,153,170,176,183,188,203,210,222,225],"origin,":[22],"propagation,":[23],"or":[24],"concrete":[25],"behavior":[26],"fault":[29,56,63,87,95,117,157,189,193,212],"and":[30,45,78,97,110,130,186,216],"do":[31],"not":[32],"portray":[33],"constraints":[35,40,52,205],"between":[36,127,206],"faults.":[37],"However,":[38],"these":[39,51],"are":[41],"system\u2019s":[43],"characteristics,":[44],"lack":[47],"expression":[49],"will":[53,66],"make":[54],"model":[57,107,151,160,177,213],"defective,":[58],"thereby":[59],"resulting":[60],"in":[61,199],"that":[65,91,196],"reduce":[67],"accuracy":[69,79],"analysis.":[73,114],"To":[74],"improve":[75],"efficiency":[77],"analysis,":[82],"this":[83,200],"paper":[84,201],"proposes":[85],"method":[90,195],"based":[93,137,148],"on":[94,138,149],"configuration":[96],"introduces":[98],"variability":[100],"management":[101],"software":[103],"product":[104],"lines":[105],"to":[106,122,142,168,181],"system":[108,128,134,145,171,211],"faults":[109],"perform":[111],"formal":[113],"First,":[115],"feature":[118],"diagram":[119],"defined":[121,136],"constraint":[125],"relationships":[126],"faults,":[129,207],"fault-labeled":[132],"transition":[133],"Kripke":[140],"structure":[141],"behavior.":[146],"Then,":[147],"semantics,":[152],"procedure":[154],"generating":[156],"trees":[158],"by":[159],"checking":[161,178],"established.":[163],"Finally,":[164],"using":[165],"temporal":[166],"logic":[167],"attributes,":[173],"we":[174],"adopt":[175],"tool":[179],"SNIP":[180],"verify":[182],"attributes":[185],"generate":[187],"automatically.":[191],"The":[192],"modeling":[194],"proposed":[198,226],"includes":[202],"inherent":[204],"which":[208],"makes":[209],"more":[214],"realistic":[215],"accurate.":[217],"A":[218],"case":[219],"study":[220],"demonstrates":[221],"effectiveness":[223],"method.":[227]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}