{"id":"https://openalex.org/W2146867228","doi":"https://doi.org/10.1109/ssiri-c.2011.21","title":"A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems","display_name":"A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W2146867228","doi":"https://doi.org/10.1109/ssiri-c.2011.21","mag":"2146867228"},"language":"en","primary_location":{"id":"doi:10.1109/ssiri-c.2011.21","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssiri-c.2011.21","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion","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/A5101650773","display_name":"Sanghyun Yoon","orcid":"https://orcid.org/0000-0003-3536-0535"},"institutions":[{"id":"https://openalex.org/I24062138","display_name":"Konkuk University","ror":"https://ror.org/025h1m602","country_code":"KR","type":"education","lineage":["https://openalex.org/I24062138"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Sanghyun Yoon","raw_affiliation_strings":["College of Information and Comm, Konkuk University, Seoul, South Korea","[College of Information and Comm, Konkuk University, Seoul, South Korea]"],"affiliations":[{"raw_affiliation_string":"College of Information and Comm, Konkuk University, Seoul, South Korea","institution_ids":["https://openalex.org/I24062138"]},{"raw_affiliation_string":"[College of Information and Comm, Konkuk University, Seoul, South Korea]","institution_ids":["https://openalex.org/I24062138"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062073153","display_name":"Jaeyeon Jo","orcid":null},"institutions":[{"id":"https://openalex.org/I24062138","display_name":"Konkuk University","ror":"https://ror.org/025h1m602","country_code":"KR","type":"education","lineage":["https://openalex.org/I24062138"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jaeyeon Jo","raw_affiliation_strings":["College of Information and Comm, Konkuk University, Seoul, South Korea","[College of Information and Comm, Konkuk University, Seoul, South Korea]"],"affiliations":[{"raw_affiliation_string":"College of Information and Comm, Konkuk University, Seoul, South Korea","institution_ids":["https://openalex.org/I24062138"]},{"raw_affiliation_string":"[College of Information and Comm, Konkuk University, Seoul, South Korea]","institution_ids":["https://openalex.org/I24062138"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084114628","display_name":"Junbeom Yoo","orcid":null},"institutions":[{"id":"https://openalex.org/I24062138","display_name":"Konkuk University","ror":"https://ror.org/025h1m602","country_code":"KR","type":"education","lineage":["https://openalex.org/I24062138"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Junbeom Yoo","raw_affiliation_strings":["College of Information and Comm, Konkuk University, Seoul, South Korea","[College of Information and Comm, Konkuk University, Seoul, South Korea]"],"affiliations":[{"raw_affiliation_string":"College of Information and Comm, Konkuk University, Seoul, South Korea","institution_ids":["https://openalex.org/I24062138"]},{"raw_affiliation_string":"[College of Information and Comm, Konkuk University, Seoul, South Korea]","institution_ids":["https://openalex.org/I24062138"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101650773"],"corresponding_institution_ids":["https://openalex.org/I24062138"],"apc_list":null,"apc_paid":null,"fwci":0.62,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.76878505,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"32","issue":null,"first_page":"68","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9994999766349792,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9987000226974487,"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.998199999332428,"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.8626582622528076},{"id":"https://openalex.org/keywords/hazard-and-operability-study","display_name":"Hazard and operability study","score":0.7620662450790405},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.6550037860870361},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.6100578904151917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5788862109184265},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5612744688987732},{"id":"https://openalex.org/keywords/domain-analysis","display_name":"Domain analysis","score":0.5263275504112244},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.43728673458099365},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3656754493713379},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.31980621814727783},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.2970619201660156},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.09896036982536316},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08607068657875061}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.8626582622528076},{"id":"https://openalex.org/C125174871","wikidata":"https://www.wikidata.org/wiki/Q1683210","display_name":"Hazard and operability study","level":3,"score":0.7620662450790405},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6550037860870361},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.6100578904151917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5788862109184265},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5612744688987732},{"id":"https://openalex.org/C15708719","wikidata":"https://www.wikidata.org/wiki/Q2271801","display_name":"Domain analysis","level":5,"score":0.5263275504112244},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.43728673458099365},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3656754493713379},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.31980621814727783},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.2970619201660156},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.09896036982536316},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08607068657875061},{"id":"https://openalex.org/C126231374","wikidata":"https://www.wikidata.org/wiki/Q1061298","display_name":"Operability","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"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/ssiri-c.2011.21","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssiri-c.2011.21","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1600909029","https://openalex.org/W2007489624","https://openalex.org/W2009466554","https://openalex.org/W2037638912","https://openalex.org/W2064650227","https://openalex.org/W2072077765","https://openalex.org/W2075806344","https://openalex.org/W2096283629","https://openalex.org/W2096436372","https://openalex.org/W2111718887","https://openalex.org/W2115179079","https://openalex.org/W2119460326","https://openalex.org/W2123310844","https://openalex.org/W2141956452","https://openalex.org/W2147880466","https://openalex.org/W2164932040","https://openalex.org/W2165746913","https://openalex.org/W2395505859","https://openalex.org/W2606170861","https://openalex.org/W6711995786"],"related_works":["https://openalex.org/W1998947600","https://openalex.org/W2463027875","https://openalex.org/W2725621107","https://openalex.org/W4247131016","https://openalex.org/W1551077551","https://openalex.org/W3128795306","https://openalex.org/W2763916043","https://openalex.org/W2383406940","https://openalex.org/W1545534834","https://openalex.org/W3081376217"],"abstract_inverted_index":{"Rigorous":[0],"safety":[1,4,52,78,147],"demonstration":[2],"through":[3,114],"analysis":[5,34,53,66,79],"is":[6,125],"strongly":[7],"mandated":[8],"for":[9,82],"safety-critical":[10],"systems.":[11,86],"Nuclear":[12],"plant":[13,84],"protection":[14,85,97],"systems":[15,98],"often":[16],"use":[17],"techniques":[18],"such":[19],"as":[20],"FTA,":[21],"FMEA":[22],"and":[23,30,40,67,145],"HAZOP.":[24],"Safety":[25],"experts":[26],"perform":[27],"them":[28],"manually,":[29],"quality":[31,71],"of":[32,42,51,64,94,109,121],"the":[33,38,43,48,65,110,126,131,134],"totally":[35],"depends":[36],"on":[37],"ability":[39],"experience":[41],"experts.":[44],"If":[45],"we":[46,58],"restrict":[47],"application":[49],"domain":[50,135],"into":[54,118],"specific":[55,136],"critical":[56],"failures,":[57],"could":[59],"automate":[60],"a":[61,76,90],"large":[62],"part":[63],"also":[68],"improve":[69],"its":[70],"too.":[72],"This":[73],"paper":[74],"proposes":[75],"domain-specific":[77],"technique,":[80],"NuFTA,":[81],"nuclear":[83,95,122],"NuFTA":[87,115,138],"mechanically":[88,144],"constructs":[89],"software":[91,141],"fault":[92,111,142],"tree":[93,112],"reactor":[96],"specified":[99],"with":[100],"NuSCR":[101],"requirement":[102],"formal":[103],"specification":[104],"language.":[105],"The":[106],"root":[107],"failures":[108],"constructed":[113],"are":[116],"restricted":[117],"'shutdown'":[119],"events":[120],"reactors,":[123],"which":[124],"most":[127],"important":[128],"event":[129],"in":[130],"domain.":[132],"Within":[133],"restrictions,":[137],"can":[139],"construct":[140],"trees":[143],"aid":[146],"experts'":[148],"analyses":[149],"efficiently.":[150]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}