{"id":"https://openalex.org/W2130841787","doi":"https://doi.org/10.1109/issrew.2013.6688920","title":"Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems","display_name":"Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems","publication_year":2013,"publication_date":"2013-11-01","ids":{"openalex":"https://openalex.org/W2130841787","doi":"https://doi.org/10.1109/issrew.2013.6688920","mag":"2130841787"},"language":"en","primary_location":{"id":"doi:10.1109/issrew.2013.6688920","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew.2013.6688920","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5025079639","display_name":"Michael Roth","orcid":"https://orcid.org/0000-0002-9128-519X"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Roth","raw_affiliation_strings":["Dept. Software Engineering: Dependability, Technical University of Kaiserslautern, Kaiserslautern, Germany","Dept. Software Eng.: Dependability, Tech. Univ. of Kaiserslautern, Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. Software Engineering: Dependability, Technical University of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]},{"raw_affiliation_string":"Dept. Software Eng.: Dependability, Tech. Univ. of Kaiserslautern, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002540909","display_name":"Peter Liggesmeyer","orcid":"https://orcid.org/0009-0006-7839-5497"},"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"]},{"id":"https://openalex.org/I4923324","display_name":"Fraunhofer-Gesellschaft","ror":"https://ror.org/05hkkdn48","country_code":"DE","type":"government","lineage":["https://openalex.org/I4923324"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Liggesmeyer","raw_affiliation_strings":["Scientific Director Fraunhofer, Institute for Experimental Software Engineering, Kaiserslautern, Germany","Fraunhofer-Inst. for Exp. Software Eng., Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Scientific Director Fraunhofer, Institute for Experimental Software Engineering, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210098380"]},{"raw_affiliation_string":"Fraunhofer-Inst. for Exp. Software Eng., Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4923324"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9152,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.75812587,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"353","last_page":"358"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994999766349792,"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.9986000061035156,"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.8181508183479309},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7150415182113647},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6676307320594788},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6272268295288086},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4944264888763428},{"id":"https://openalex.org/keywords/event-tree-analysis","display_name":"Event tree analysis","score":0.48780205845832825},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48460397124290466},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.47033175826072693},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4665256440639496},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.46372339129447937},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4314332902431488},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.41775089502334595},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.4125817120075226},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24225518107414246},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1686314046382904}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.8181508183479309},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7150415182113647},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6676307320594788},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6272268295288086},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4944264888763428},{"id":"https://openalex.org/C179800331","wikidata":"https://www.wikidata.org/wiki/Q15260703","display_name":"Event tree analysis","level":3,"score":0.48780205845832825},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48460397124290466},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.47033175826072693},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4665256440639496},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.46372339129447937},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4314332902431488},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.41775089502334595},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.4125817120075226},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24225518107414246},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1686314046382904},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/issrew.2013.6688920","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issrew.2013.6688920","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","raw_type":"proceedings-article"},{"id":"pmh:oai:publica.fraunhofer.de:publica/389466","is_oa":false,"landing_page_url":"https://publica.fraunhofer.de/handle/publica/389466","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1566274933","https://openalex.org/W1817316424","https://openalex.org/W2027835584","https://openalex.org/W2111728927","https://openalex.org/W2154538165","https://openalex.org/W2154884120","https://openalex.org/W2169528473","https://openalex.org/W6638225116","https://openalex.org/W6683138515"],"related_works":["https://openalex.org/W2126877267","https://openalex.org/W2237265088","https://openalex.org/W2774233783","https://openalex.org/W2258763212","https://openalex.org/W2369073609","https://openalex.org/W2368477002","https://openalex.org/W765278272","https://openalex.org/W2041968447","https://openalex.org/W773710197","https://openalex.org/W2965451225"],"abstract_inverted_index":{"For":[0],"the":[1,95,107,122],"certification":[2],"of":[3,55,94,106,113],"modern":[4],"safety":[5],"critical":[6,92],"systems":[7,27],"tree":[8],"based":[9],"failure":[10],"models,":[11],"like":[12],"standardized":[13,114],"fault":[14,46,56],"trees":[15,47,57],"(FTs),":[16],"are":[17],"frequently":[18],"used":[19],"methodologies.":[20],"But":[21],"when":[22],"it":[23,126],"comes":[24],"to":[25,73,124],"software-intensive":[26],"these":[28,42,53],"techniques":[29],"have":[30],"some":[31],"crucial":[32],"disadvantages,":[33],"especially":[34],"in":[35,62,81],"modeling":[36],"timing":[37],"behavior.":[38],"To":[39,116],"deal":[40],"with":[41],"weak":[43],"points":[44],"state/event":[45],"(SEFTs)":[48],"[6]":[49],"were":[50],"developed.":[51],"However,":[52],"kind":[54],"can":[58,99],"only":[59],"be":[60,100],"analyzed":[61],"a":[63,91,103,128],"quantitative":[64],"way.":[65],"In":[66],"this":[67],"paper":[68],"we":[69,120],"propose":[70],"an":[71],"approach":[72],"analyze":[74],"them":[75],"qualitatively":[76],"as":[77,102],"well.":[78],"This":[79],"results":[80],"ordered":[82],"event":[83,93],"sequences":[84],"which":[85,98],"represent":[86],"different":[87],"ways":[88],"for":[89],"triggering":[90],"underlying":[96],"SEFTs,":[97],"seen":[101],"time-dependent":[104],"equivalent":[105],"minimal":[108],"cut":[109],"set":[110],"(MCS)":[111],"analysis":[112],"FTs.":[115],"evaluate":[117],"our":[118],"approach,":[119],"implemented":[121],"SEFTAnalyzer":[123],"apply":[125],"on":[127],"software-controlled":[129],"fire":[130],"alert":[131],"system.":[132]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}