乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T17:54:42Z","timestamp":1726422882133},"reference-count":27,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Reliability Engineering & System Safety"],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1016\/j.ress.2019.106667","type":"journal-article","created":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T11:22:45Z","timestamp":1568892165000},"page":"106667","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":8,"special_numbering":"C","title":["Exhaustive testing of safety-critical software for reactor protection system"],"prefix":"10.1016","volume":"193","author":[{"given":"Sang Hun","family":"Lee","sequence":"first","affiliation":[]},{"given":"Seung Jun","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Sung Min","family":"Shin","sequence":"additional","affiliation":[]},{"given":"Eun-chan","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Hyun Gook","family":"Kang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ress.2019.106667_bib0001","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/S0951-8320(02)00176-X","article-title":"An analysis of safety-critical digital systems for risk-informed design","volume":"78","author":"Kang","year":"2002","journal-title":"Reliab Eng Syst Saf"},{"issue":"10","key":"10.1016\/j.ress.2019.106667_bib0002","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1016\/j.ress.2010.04.011","article-title":"Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies","volume":"95","author":"Aldemir","year":"2010","journal-title":"Reliab Eng Syst Saf"},{"issue":"5","key":"10.1016\/j.ress.2019.106667_bib0003","doi-asserted-by":"crossref","first-page":"471","DOI":"10.5516\/NET.03.2012.707","article-title":"Reliability analysis of digital systems in a probabilistic risk analysis for nuclear power plants","volume":"44","author":"Authen","year":"2012","journal-title":"Nucl Eng Technol"},{"issue":", 2","key":"10.1016\/j.ress.2019.106667_bib0004","first-page":"145","article-title":"Possibilities and limitations of applying software reliability growth models to safety critical software","volume":"39","author":"Kim","year":"2007","journal-title":"Nucl Eng Technol"},{"issue":"1","key":"10.1016\/j.ress.2019.106667_bib0005","doi-asserted-by":"crossref","first-page":"55","DOI":"10.5516\/NET.04.2012.067","article-title":"A software reliability estimation method to nuclear safety software","volume":"46","author":"Park","year":"2014","journal-title":"Nucl Eng Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0006","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.infsof.2006.09.001","article-title":"Predicting software defects in varying development lifecycles using Bayesian nets","volume":"49","author":"Fenton","year":"2007","journal-title":"Inf Softw Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0007","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/j.anucene.2018.04.045","article-title":"Development of a Bayesian belief network model for software reliability quantification of digital protection systems in nuclear power plants","volume":"120","author":"Kang","year":"2018","journal-title":"Ann Nucl Energy"},{"key":"10.1016\/j.ress.2019.106667_bib0008","doi-asserted-by":"crossref","first-page":"1542","DOI":"10.1016\/j.ress.2009.02.018","article-title":"Input-profile-based software failure probability quantification for safety signal generation systems","volume":"94","author":"Kang","year":"2009","journal-title":"Reliab Eng Syst Saf"},{"year":"2017","series-title":"Development of a statistical testing approach for quantifying safety-related digital system on demand failure probability","author":"Chu","key":"10.1016\/j.ress.2019.106667_bib0009"},{"key":"10.1016\/j.ress.2019.106667_bib0010","doi-asserted-by":"crossref","first-page":"447","DOI":"10.5516\/NET.2009.41.4.447","article-title":"Technical review on the localized digital instrumentation and control systems","volume":"41","author":"Kwon","year":"2009","journal-title":"Nucl Eng Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0011","series-title":"9th international conference on the quality of information and communications technology (QUATIC)","first-page":"23","article-title":"Automatic test set generation for function block based systems using model checking","author":"Lahtinen","year":"2014"},{"issue":"10","key":"10.1016\/j.ress.2019.106667_bib0012","doi-asserted-by":"crossref","first-page":"1360","DOI":"10.1016\/j.infsof.2014.04.016","article-title":"Automatic test case generation for structural testing of function block diagrams","volume":"56","author":"Wu","year":"2014","journal-title":"Inf Softw Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0013","series-title":"6th IEEE international conference on software testing, verification and validation (ICST)","first-page":"18","article-title":"Model-based test suite generation for function block diagrams using the Uppaal model checker","author":"Enoiu","year":"2013"},{"issue":"2","key":"10.1016\/j.ress.2019.106667_bib0014","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1016\/j.infsof.2012.08.016","article-title":"Systematic scenario test case generation for nuclear safety systems","volume":"55","author":"Tseng","year":"2013","journal-title":"Inf Softw Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0015","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.scico.2018.04.005","article-title":"FBDTester 2.0: automated test sequence generation for FBD programs with internal memory states","volume":"163","author":"Song","year":"2018","journal-title":"Sci Comput Program"},{"volume":"61131-3","first-page":"2013","year":"2013","key":"10.1016\/j.ress.2019.106667_bib0016"},{"year":"1996","series-title":"Space, engineering system of teleperm XS PLC","key":"10.1016\/j.ress.2019.106667_bib0017"},{"issue":"4","key":"10.1016\/j.ress.2019.106667_bib0018","doi-asserted-by":"crossref","first-page":"489","DOI":"10.5516\/NET.04.2012.085","article-title":"A behavior-preserving translation from FBD design to C implementation for reactor protection system software","volume":"45","author":"Yoo","year":"2013","journal-title":"Nucl Eng Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0019","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.ress.2013.06.006","article-title":"A systematic verification of behavioral consistency between FBD design and ansi-c implementation using HW-CBMC","volume":"120","author":"Lee","year":"2013","journal-title":"Reliab Eng Syst Saf"},{"issue":"9","key":"10.1016\/j.ress.2019.106667_bib0020","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/1995376.1995394","article-title":"Satisfiability modulo theories: introduction and applications","volume":"54","author":"De Moura","year":"2011","journal-title":"Commun ACM"},{"key":"10.1016\/j.ress.2019.106667_bib0021","series-title":"4th IEEE international conference on software engineering and formal methods (SEFM)","first-page":"11","article-title":"Tutorial: automated formal methods with PVS, SAL, and yices","author":"Rushby","year":"2006"},{"key":"10.1016\/j.ress.2019.106667_bib0022","series-title":"14th international conference on tools and algorithms for the construction and analysis of systems","article-title":"Z3: an efficient SMT solver","author":"De Moura","year":"2008"},{"issue":"4","key":"10.1016\/j.ress.2019.106667_bib0023","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1016\/j.net.2018.02.007","article-title":"Development of simulation-based testing environment for safety-critical software","volume":"50","author":"Lee","year":"2018","journal-title":"Nucl Eng Technol"},{"issue":"6","key":"10.1016\/j.ress.2019.106667_bib0024","doi-asserted-by":"crossref","first-page":"697","DOI":"10.5516\/NET.04.2011.004","article-title":"Development of RPS trip logic based on pld technology","volume":"44","author":"Choi","year":"2012","journal-title":"Nucl Eng Technol"},{"key":"10.1016\/j.ress.2019.106667_bib0025","unstructured":"Korea Atomic Energy Research Institute, SRS for reactor protection system, Tech. Rep. KNICS-RPS-SRS101 (Rev.00), 2003."},{"key":"10.1016\/j.ress.2019.106667_bib0026","unstructured":"Doosan Heavy Industries and Construction Co., Ltd, BP SDS for reactor protection system, Tech. Rep. KNICS-RPS-SDS231 (Rev. 3), 2008."},{"issue":"1","key":"10.1016\/j.ress.2019.106667_bib0027","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.jal.2012.12.002","article-title":"LEO-II and Satallax on the Sledgehammer test bench","volume":"11","author":"Sultana","year":"2013","journal-title":"J Appl Log"}],"container-title":["Reliability Engineering & System Safety"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832019307586?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0951832019307586?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,11,23]],"date-time":"2019-11-23T10:18:37Z","timestamp":1574504317000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0951832019307586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1]]},"references-count":27,"alternative-id":["S0951832019307586"],"URL":"https:\/\/doi.org\/10.1016\/j.ress.2019.106667","relation":{},"ISSN":["0951-8320"],"issn-type":[{"type":"print","value":"0951-8320"}],"subject":[],"published":{"date-parts":[[2020,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Exhaustive testing of safety-critical software for reactor protection system","name":"articletitle","label":"Article Title"},{"value":"Reliability Engineering & System Safety","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ress.2019.106667","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2019 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"106667"}}