{"id":"https://openalex.org/W2155173002","doi":"https://doi.org/10.1109/prdc.2004.1276557","title":"Safety testing of safety critical software based on critical mission duration","display_name":"Safety testing of safety critical software based on critical mission duration","publication_year":2004,"publication_date":"2004-06-10","ids":{"openalex":"https://openalex.org/W2155173002","doi":"https://doi.org/10.1109/prdc.2004.1276557","mag":"2155173002"},"language":"en","primary_location":{"id":"doi:10.1109/prdc.2004.1276557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/prdc.2004.1276557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","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/A5056605838","display_name":"Shiping Yang","orcid":"https://orcid.org/0000-0001-7527-4581"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shiping Yang","raw_affiliation_strings":["School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075116817","display_name":"Nan Sang","orcid":"https://orcid.org/0000-0002-5735-2301"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Nan Sang","raw_affiliation_strings":["School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111421317","display_name":"Guangze Xiong","orcid":null},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangze Xiong","raw_affiliation_strings":["School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5056605838"],"corresponding_institution_ids":["https://openalex.org/I150229711"],"apc_list":null,"apc_paid":null,"fwci":0.3835,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.6895456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"32","issue":null,"first_page":"97","last_page":"102"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":1.0,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9951000213623047,"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/reliability-engineering","display_name":"Reliability engineering","score":0.7362335920333862},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.6751240491867065},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6283926963806152},{"id":"https://openalex.org/keywords/duration","display_name":"Duration (music)","score":0.607376217842102},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.49179723858833313},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4742257297039032},{"id":"https://openalex.org/keywords/software-reliability-testing","display_name":"Software reliability testing","score":0.4548138380050659},{"id":"https://openalex.org/keywords/test-strategy","display_name":"Test strategy","score":0.4498542547225952},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.44431987404823303},{"id":"https://openalex.org/keywords/non-regression-testing","display_name":"Non-regression testing","score":0.42447561025619507},{"id":"https://openalex.org/keywords/risk-based-testing","display_name":"Risk-based testing","score":0.41920673847198486},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.3518652617931366},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2610900402069092},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.1704024076461792},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.14335578680038452},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.12584489583969116}],"concepts":[{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.7362335920333862},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.6751240491867065},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6283926963806152},{"id":"https://openalex.org/C112758219","wikidata":"https://www.wikidata.org/wiki/Q16038819","display_name":"Duration (music)","level":2,"score":0.607376217842102},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.49179723858833313},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4742257297039032},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.4548138380050659},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.4498542547225952},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.44431987404823303},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.42447561025619507},{"id":"https://openalex.org/C37945671","wikidata":"https://www.wikidata.org/wiki/Q7336207","display_name":"Risk-based testing","level":5,"score":0.41920673847198486},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.3518652617931366},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2610900402069092},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.1704024076461792},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.14335578680038452},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.12584489583969116},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/prdc.2004.1276557","is_oa":false,"landing_page_url":"https://doi.org/10.1109/prdc.2004.1276557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1492884822","https://openalex.org/W1835076629","https://openalex.org/W1874347572","https://openalex.org/W1891546921","https://openalex.org/W1974598514","https://openalex.org/W2038710499","https://openalex.org/W2045506002","https://openalex.org/W2056722806","https://openalex.org/W2097331548","https://openalex.org/W2108071562","https://openalex.org/W2160701357","https://openalex.org/W2164501290","https://openalex.org/W2168753254","https://openalex.org/W2171288164","https://openalex.org/W6629417080","https://openalex.org/W6684796913"],"related_works":["https://openalex.org/W2362944210","https://openalex.org/W3133844515","https://openalex.org/W2186418558","https://openalex.org/W2187840912","https://openalex.org/W2513279291","https://openalex.org/W186259066","https://openalex.org/W2335749738","https://openalex.org/W2801474512","https://openalex.org/W2134394102","https://openalex.org/W1978362915"],"abstract_inverted_index":{"To":[0],"assess":[1],"the":[2,13,57,78,97,106,121],"safety":[3,7,22,34,53,124],"of":[4,59,63,88,108],"software":[5,36,55],"based":[6,24,127],"critical":[8,35,54,69,129],"systems,":[9],"we":[10],"firstly":[11],"analyzed":[12],"differences":[14],"between":[15],"reliability":[16],"and":[17,29,132],"safety,":[18],"then,":[19],"introduced":[20],"a":[21,60,67,86,123],"model":[23,28],"on":[25,128],"three-state":[26],"Markov":[27],"some":[30],"safety-related":[31],"metrics.":[32],"For":[33],"it":[37,92],"is":[38,137],"common":[39],"to":[40,101,119],"demand":[41],"that":[42,72,96,110],"all":[43],"known":[44],"faults":[45],"are":[46],"removed.":[47],"Thus":[48],"an":[49,89],"operational":[50],"test":[51,64,80,99],"for":[52],"takes":[56],"form":[58],"specified":[61,68],"number":[62,107],"cases":[65],"(or":[66],"mission":[70,130],"duration)":[71],"must":[73,111],"be":[74,102,112],"executed":[75,113],"unsafe-failure-free.":[76],"When":[77],"previous":[79],"has":[81,93],"been":[82,94],"early":[83],"terminated":[84],"as":[85],"result":[87],"unsafe":[90],"failure,":[91],"proposed":[95],"further":[98],"need":[100],"more":[103],"stringent":[104],"(i.e.":[105],"tests":[109],"unsafe-failure-free":[114],"should":[115],"increase).":[116],"In":[117],"order":[118],"solve":[120],"problem,":[122],"testing":[125,134],"method":[126],"duration":[131],"Bayesian":[133],"stopping":[135],"rules":[136],"proposed.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}