{"id":"https://openalex.org/W1979046963","doi":"https://doi.org/10.1109/etfa.2010.5641309","title":"Automated fault tree generation and risk-based testing of networked automation systems","display_name":"Automated fault tree generation and risk-based testing of networked automation systems","publication_year":2010,"publication_date":"2010-09-01","ids":{"openalex":"https://openalex.org/W1979046963","doi":"https://doi.org/10.1109/etfa.2010.5641309","mag":"1979046963"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2010.5641309","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2010.5641309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","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/A5018840683","display_name":"T. Hussain","orcid":"https://orcid.org/0000-0002-2456-8835"},"institutions":[{"id":"https://openalex.org/I4210098380","display_name":"Fraunhofer Institute for Experimental Software Engineering","ror":"https://ror.org/00r1wdc11","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210098380","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Tanvir Hussain","raw_affiliation_strings":["Fraunhofer Institute for Experimental Software Engineering, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Fraunhofer Institute for Experimental Software Engineering, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210098380"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050176707","display_name":"Robert Eschbach","orcid":"https://orcid.org/0000-0002-2789-1873"},"institutions":[{"id":"https://openalex.org/I4210098380","display_name":"Fraunhofer Institute for Experimental Software Engineering","ror":"https://ror.org/00r1wdc11","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210098380","https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Robert Eschbach","raw_affiliation_strings":["Fraunhofer Institute for Experimental Software Engineering, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany"],"affiliations":[{"raw_affiliation_string":"Fraunhofer Institute for Experimental Software Engineering, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210098380"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018840683"],"corresponding_institution_ids":["https://openalex.org/I4210098380"],"apc_list":null,"apc_paid":null,"fwci":1.3381,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.79554076,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9965999722480774,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9962999820709229,"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/computer-science","display_name":"Computer science","score":0.7489597797393799},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6860112547874451},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.6596850156784058},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.5849117636680603},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.5505148768424988},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5033342242240906},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3853740096092224},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14931005239486694},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10908901691436768}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7489597797393799},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6860112547874451},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.6596850156784058},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.5849117636680603},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5505148768424988},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5033342242240906},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3853740096092224},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14931005239486694},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10908901691436768},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/etfa.2010.5641309","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2010.5641309","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","raw_type":"proceedings-article"},{"id":"pmh:oai:fraunhofer.de:N-170405","is_oa":false,"landing_page_url":"http://publica.fraunhofer.de/documents/N-170405.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400801","display_name":"Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fraunhofer IESE","raw_type":"Conference Paper"},{"id":"pmh:oai:publica.fraunhofer.de:publica/369593","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/369593","pdf_url":null,"source":{"id":"https://openalex.org/S4306400318","display_name":"Fraunhofer-Publica (Fraunhofer-Gesellschaft)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4923324","host_organization_name":"Fraunhofer-Gesellschaft","host_organization_lineage":["https://openalex.org/I4923324"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.4099999964237213,"display_name":"Decent work and economic growth"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W79658348","https://openalex.org/W134628321","https://openalex.org/W428549792","https://openalex.org/W1565059069","https://openalex.org/W1962072139","https://openalex.org/W2031420595","https://openalex.org/W2048373423","https://openalex.org/W2062872973","https://openalex.org/W2101508170","https://openalex.org/W2139829603","https://openalex.org/W2158699648","https://openalex.org/W2164041037","https://openalex.org/W6603231938","https://openalex.org/W6633876122","https://openalex.org/W6640868803"],"related_works":["https://openalex.org/W2378709054","https://openalex.org/W4380301954","https://openalex.org/W2803090313","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W1482465488","https://openalex.org/W4247536566","https://openalex.org/W2052375654","https://openalex.org/W2376767034","https://openalex.org/W2350918606"],"abstract_inverted_index":{"In":[0,15],"manufacturing":[1],"automation":[2,20],"domain":[3],"safety":[4,152,224],"and":[5,71,87,90,125,137,153,172,177,206,217,223],"availability":[6,154],"are":[7,31,41,93],"the":[8,49,61,78,97,100,102,133,148,164,183,186,194,211,215],"most":[9],"important":[10],"factors":[11,35],"to":[12,26,33,48,67,76,127,162,202,209],"ensure":[13,27],"productivity.":[14],"modern":[16],"software":[17,212],"intensive":[18],"networked":[19],"systems":[21],"it":[22,65,74,140,189],"became":[23],"quite":[24],"hard":[25,66],"which":[28],"non-functional":[29],"requirements":[30],"related":[32],"these":[34,40,109],"as":[36,38],"well":[37],"whether":[39,147],"satisfied":[42],"or":[43,156],"not.":[44,157],"This":[45,158],"is":[46,104,115,141,160,190],"due":[47],"prevalence":[50],"of":[51,60,80,99,132,185,196,214],"manual":[52],"efforts":[53],"in":[54,117,174,181],"several":[55],"analyses":[56,101],"phases":[57],"where":[58],"complexity":[59],"system":[62,149,216],"often":[63],"makes":[64,73],"obtain":[68],"comprehensive":[69],"overview":[70],"thus":[72],"difficult":[75],"ascertain":[77],"presence":[79],"certain":[81,151],"undesired":[82],"consequences.":[83],"Since":[84],"design,":[85],"development":[86],"following":[88],"verification":[89],"validation":[91],"activities":[92],"largely":[94,105],"dependent":[95],"upon":[96],"result":[98],"product":[103],"affected.":[106],"To":[107],"address":[108],"problems":[110],"automated":[111],"fault":[112,165,175],"tree":[113],"generation":[114],"presented":[116],"this":[118,197],"paper.":[119],"It":[120],"uses":[121],"distinct":[122],"modeling":[123],"artifacts":[124,195],"information":[126,159],"automatically":[128],"compose":[129,163],"formal":[130],"models":[131],"system.":[134,187],"Embedding":[135],"hardware":[136],"network":[138],"failures":[139],"then":[142],"ascertained":[143],"through":[144],"model":[145],"checking":[146],"satisfies":[150],"properties":[155],"used":[161,201],"tree.":[166],"Proposed":[167],"approach":[168],"will":[169,178],"improve":[170],"completeness":[171],"correctness":[173],"trees":[176],"consequently":[179],"help":[180],"improving":[182],"quality":[184],"Furthermore,":[188],"also":[191],"shown":[192],"how":[193],"analysis":[198],"can":[199],"be":[200],"produce":[203],"test":[204,207],"goals":[205],"cases":[208],"validate":[210],"constituents":[213],"assure":[218],"traceability":[219],"between":[220],"testing":[221],"activity":[222],"requirements.":[225]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}