{"id":"https://openalex.org/W2045682801","doi":"https://doi.org/10.1016/j.proeng.2014.09.070","title":"Study on Generation of Fault Trees from Altarica Models","display_name":"Study on Generation of Fault Trees from Altarica Models","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2045682801","doi":"https://doi.org/10.1016/j.proeng.2014.09.070","mag":"2045682801"},"language":"en","primary_location":{"id":"doi:10.1016/j.proeng.2014.09.070","doi":"https://doi.org/10.1016/j.proeng.2014.09.070","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.proeng.2014.09.070","pdf_url":null,"source":{"id":"https://openalex.org/S45645249","display_name":"Procedia Engineering","issn_l":"1877-7058","issn":["1877-7058"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Engineering","raw_type":"journal-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/j.proeng.2014.09.070","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086115155","display_name":"Shaojun Li","orcid":"https://orcid.org/0000-0002-2891-2330","observed_orcids":["https://orcid.org/0000-0002-2891-2330"]},"institutions":[{"id":"https://openalex.org/I11838497","display_name":"Aviation Industry Corporation of China (China)","ror":"https://ror.org/02wq41p38","country_code":"CN","type":"company","lineage":["https://openalex.org/I11838497"]},{"id":"https://openalex.org/I4210147525","display_name":"AviChina Industry & Technology (China)","ror":"https://ror.org/05j26dk60","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210147525"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shaojun Li","raw_affiliation_strings":["China Aero-poly technology Establishment, AVIC, Jingshun Rd7, Chaoyang District, Beijing 100191, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China Aero-poly technology Establishment, AVIC, Jingshun Rd7, Chaoyang District, Beijing 100191, China","institution_ids":["https://openalex.org/I11838497","https://openalex.org/I4210147525"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083298185","display_name":"LI Xiao-xun","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I11838497","display_name":"Aviation Industry Corporation of China (China)","ror":"https://ror.org/02wq41p38","country_code":"CN","type":"company","lineage":["https://openalex.org/I11838497"]},{"id":"https://openalex.org/I4210147525","display_name":"AviChina Industry & Technology (China)","ror":"https://ror.org/05j26dk60","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210147525"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoxun Li","raw_affiliation_strings":["China Aero-poly technology Establishment, AVIC, Jingshun Rd7, Chaoyang District, Beijing 100191, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"China Aero-poly technology Establishment, AVIC, Jingshun Rd7, Chaoyang District, Beijing 100191, China","institution_ids":["https://openalex.org/I11838497","https://openalex.org/I4210147525"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5086115155"],"corresponding_institution_ids":["https://openalex.org/I11838497","https://openalex.org/I4210147525"],"apc_list":null,"apc_paid":null,"fwci":3.0744,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.90345036,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":98},"biblio":{"volume":"80","issue":null,"first_page":"140","last_page":"152"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.5557000041007996,"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/T11357","display_name":"Risk and Safety Analysis","score":0.5557000041007996,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.1860000044107437,"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/T10142","display_name":"Formal Methods in Verification","score":0.1655000001192093,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-tree-generation","display_name":"fault tree generation","score":0.9330000281333923},{"id":"https://openalex.org/keywords/altarica","display_name":"AltaRica","score":0.9470000267028809},{"id":"https://openalex.org/keywords/dataflow-languages","display_name":"dataflow languages","score":0.7039999961853027},{"id":"https://openalex.org/keywords/component-based-model","display_name":"component models","score":0.8230000138282776},{"id":"https://openalex.org/keywords/system-model","display_name":"system model","score":0.800000011920929},{"id":"https://openalex.org/keywords/formal-models","display_name":"formal models","score":0.49300000071525574},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"fault tree analysis","score":0.6159999966621399}],"concepts":[{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4483467936515808},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.43129223585128784},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3646416664123535},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33821243047714233},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3292546272277832},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.24117684364318848},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.10726392269134521}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.proeng.2014.09.070","doi":"https://doi.org/10.1016/j.proeng.2014.09.070","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.proeng.2014.09.070","pdf_url":null,"source":{"id":"https://openalex.org/S45645249","display_name":"Procedia Engineering","issn_l":"1877-7058","issn":["1877-7058"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.proeng.2014.09.070","doi":"https://doi.org/10.1016/j.proeng.2014.09.070","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.proeng.2014.09.070","pdf_url":null,"source":{"id":"https://openalex.org/S45645249","display_name":"Procedia Engineering","issn_l":"1877-7058","issn":["1877-7058"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W66449498","https://openalex.org/W935245664","https://openalex.org/W1578546672","https://openalex.org/W1655053995","https://openalex.org/W2024839988","https://openalex.org/W2047833365","https://openalex.org/W2064759549","https://openalex.org/W2163489266","https://openalex.org/W2309721232","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4310840010","https://openalex.org/W3084056573","https://openalex.org/W4226177342","https://openalex.org/W1543835464","https://openalex.org/W53597812","https://openalex.org/W7099206767","https://openalex.org/W2164041037","https://openalex.org/W2887607879","https://openalex.org/W2283366266","https://openalex.org/W7135035193"],"abstract_inverted_index":{"With":[0],"the":[1,36,41,84],"increasing":[2],"scale":[3],"and":[4,44,56,64],"complexity":[5],"of":[6,86],"modern":[7],"systems,":[8],"traditional":[9],"safety":[10,22,88],"analysis":[11,23,89],"methods":[12],"such":[13],"as":[14,40],"FTA,":[15],"FMEA":[16],"seem":[17],"inconvenient":[18],"to":[19,47,59],"use.":[20],"Automated":[21],"based":[24,91],"on":[25,92],"formal":[26],"models":[27,55,58],"has":[28],"become":[29],"popular.":[30],"In":[31],"this":[32,77],"paper,":[33],"we":[34],"took":[35],"Altarica":[37,53],"data-flow":[38],"language":[39],"research":[42],"object,":[43],"specified":[45],"how":[46],"extract":[48],"failure":[49],"logic":[50],"relations":[51],"from":[52],"component":[54],"system":[57],"generate":[60],"fault":[61],"trees":[62],"(FTs),":[63],"proved":[65],"its":[66],"validity":[67],"through":[68],"instance":[69],"verification.":[70],"Fault":[71],"tree":[72],"generation":[73],"method":[74],"proposed":[75],"in":[76],"paper":[78],"would":[79],"provide":[80],"a":[81],"basis":[82],"for":[83],"development":[85],"automated":[87],"tools":[90],"Altarica.":[93]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-09-25T08:18:29.962427","created_date":"2016-06-24T00:00:00"}