{"id":"https://openalex.org/W4285047360","doi":"https://doi.org/10.1109/smacd55068.2022.9816211","title":"A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis","display_name":"A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis","publication_year":2022,"publication_date":"2022-06-12","ids":{"openalex":"https://openalex.org/W4285047360","doi":"https://doi.org/10.1109/smacd55068.2022.9816211"},"language":"en","primary_location":{"id":"doi:10.1109/smacd55068.2022.9816211","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd55068.2022.9816211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 18th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083610722","display_name":"Shahid Khan","orcid":"https://orcid.org/0000-0001-5549-7809"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]},{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE","PK"],"is_corresponding":true,"raw_author_name":"Shahid Khan","raw_affiliation_strings":["National University of Sciences and Technology (NUST),Sch. of Elect. Engg. and Computer Sc.,Islamabad,Pakistan","Software Modeling and Verification, RWTH Aachen University, Aachen, Germany","Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"National University of Sciences and Technology (NUST),Sch. of Elect. Engg. and Computer Sc.,Islamabad,Pakistan","institution_ids":["https://openalex.org/I929597975"]},{"raw_affiliation_string":"Software Modeling and Verification, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075945595","display_name":"Waqar Ahmad","orcid":"https://orcid.org/0000-0003-2787-4704"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Waqar Ahmad","raw_affiliation_strings":["National University of Sciences and Technology (NUST),Sch. of Elect. Engg. and Computer Sc.,Islamabad,Pakistan","Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"National University of Sciences and Technology (NUST),Sch. of Elect. Engg. and Computer Sc.,Islamabad,Pakistan","institution_ids":["https://openalex.org/I929597975"]},{"raw_affiliation_string":"Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066768973","display_name":"Osman Hasan","orcid":"https://orcid.org/0000-0003-2562-2669"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Osman Hasan","raw_affiliation_strings":["National University of Sciences and Technology (NUST),Sch. of Elect. Engg. and Computer Sc.,Islamabad,Pakistan","Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"affiliations":[{"raw_affiliation_string":"National University of Sciences and Technology (NUST),Sch. of Elect. Engg. and Computer Sc.,Islamabad,Pakistan","institution_ids":["https://openalex.org/I929597975"]},{"raw_affiliation_string":"Sch. of Elect. Engg. and Computer Sc., National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083610722"],"corresponding_institution_ids":["https://openalex.org/I887968799","https://openalex.org/I929597975"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06708105,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.8410492539405823},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.791901707649231},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.723110556602478},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.654327392578125},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5613465309143066},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4770485758781433},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45086273550987244},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.448988676071167},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4359716475009918},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3332855701446533},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.33018702268600464},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21740013360977173},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14913076162338257},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12467455863952637},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11240679025650024},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.07871231436729431}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.8410492539405823},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.791901707649231},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.723110556602478},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.654327392578125},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5613465309143066},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4770485758781433},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45086273550987244},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.448988676071167},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4359716475009918},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3332855701446533},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33018702268600464},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21740013360977173},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14913076162338257},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12467455863952637},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11240679025650024},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.07871231436729431},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smacd55068.2022.9816211","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smacd55068.2022.9816211","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 18th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2141414364","https://openalex.org/W2376514150","https://openalex.org/W2583115580","https://openalex.org/W2790583001"],"abstract_inverted_index":{"Static":[0],"fault":[1,51,80],"trees":[2,81],"(SFT)s":[3],"are":[4,12,31],"used":[5],"for":[6,26,110],"conducting":[7],"dependability":[8],"analysis":[9,53],"and":[10,24,41,65,97,107,133],"thus":[11],"extensively":[13],"utilized":[14],"in":[15],"various":[16],"functional":[17],"safety":[18,120],"standards":[19],"defined":[20],"by":[21,34],"the":[22,46,69,76,118,135,141,147,152],"IEC":[23],"ISO":[25],"automotive":[27],"applications.":[28],"Traditionally,":[29],"SFTs":[30,126],"manually":[32],"developed":[33],"domain":[35],"experts":[36],"through":[37],"a":[38,104,128],"very":[39],"cumbersome":[40],"error":[42],"prone":[43],"process.":[44],"Once":[45],"SFT":[47],"is":[48,55,71,149],"available,":[49],"quantitative":[50],"tree":[52],"(FTA)":[54],"carried":[56],"out":[57],"using":[58,151],"analytical":[59],"approaches,":[60],"e.g.,":[61],"probabilistic":[62],"model":[63,92,132],"checking":[64],"theorem":[66,98,137],"proving.":[67],"While":[68],"former":[70],"limited":[72],"to":[73,90,102,123,139],"exponential":[74],"distributions,":[75],"latter":[77],"can":[78],"analyze":[79,140],"(FT)s":[82],"with":[83],"arbitrary":[84],"probability":[85],"distributions.":[86],"This":[87],"paper":[88],"proposes":[89],"combine":[91],"checking-based":[93],"automatic":[94],"FT":[95],"generation":[96],"proving":[99],"based":[100],"FTA":[101],"ensure":[103],"more":[105],"rigorous":[106],"complete":[108],"approach":[109,114,148],"FTA.":[111],"The":[112,144],"proposed":[113],"particularly":[115],"utilizes":[116],"1)":[117],"xSAP":[119],"assessment":[121],"platform":[122],"automatically":[124],"generate":[125],"from":[127],"functionally":[129],"verified":[130],"system":[131],"2)":[134],"HOL4":[136],"prover":[138],"xSAP-generated":[142],"SFTs.":[143],"usefulness":[145],"of":[146,155],"illustrated":[150],"case":[153],"study":[154],"an":[156],"automated":[157],"vehicle":[158],"system.":[159]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}