{"id":"https://openalex.org/W2011010558","doi":"https://doi.org/10.1109/isocc.2012.6407096","title":"Assuring system reliability in wireless sensor networks via verification and validation","display_name":"Assuring system reliability in wireless sensor networks via verification and validation","publication_year":2012,"publication_date":"2012-11-01","ids":{"openalex":"https://openalex.org/W2011010558","doi":"https://doi.org/10.1109/isocc.2012.6407096","mag":"2011010558"},"language":"en","primary_location":{"id":"doi:10.1109/isocc.2012.6407096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isocc.2012.6407096","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 International SoC Design Conference (ISOCC)","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/A5020103485","display_name":"Zhun Shen","orcid":null},"institutions":[{"id":"https://openalex.org/I69356397","display_name":"Xi\u2019an Jiaotong-Liverpool University","ror":"https://ror.org/03zmrmn05","country_code":"CN","type":"education","lineage":["https://openalex.org/I69356397"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhun Shen","raw_affiliation_strings":["Department of Computer Science and Software Engineering, Xi'an Jiaotong-Liverpool University, China","Department of Computer Science and Software Engineering, Xi'an Jiaotong-Liverpool University, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Xi'an Jiaotong-Liverpool University, China","institution_ids":["https://openalex.org/I69356397"]},{"raw_affiliation_string":"Department of Computer Science and Software Engineering, Xi'an Jiaotong-Liverpool University, China#TAB#","institution_ids":["https://openalex.org/I69356397"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075116069","display_name":"Ka Lok Man","orcid":"https://orcid.org/0000-0002-5787-4716"},"institutions":[{"id":"https://openalex.org/I69356397","display_name":"Xi\u2019an Jiaotong-Liverpool University","ror":"https://ror.org/03zmrmn05","country_code":"CN","type":"education","lineage":["https://openalex.org/I69356397"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ka Lok Man","raw_affiliation_strings":["Xi'an Jiaotong-Liverpool University, China","Xi\u2032an Jiaotong Liverpool University, China"],"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong-Liverpool University, China","institution_ids":["https://openalex.org/I69356397"]},{"raw_affiliation_string":"Xi\u2032an Jiaotong Liverpool University, China","institution_ids":["https://openalex.org/I69356397"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037634722","display_name":"Chi\u2010Un Lei","orcid":"https://orcid.org/0000-0002-6189-6424"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Chi-Un Lei","raw_affiliation_strings":["The University of Hong Kong, Hong Kong","[The University of Hong Kong, Hong Kong}]"],"affiliations":[{"raw_affiliation_string":"The University of Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I889458895"]},{"raw_affiliation_string":"[The University of Hong Kong, Hong Kong}]","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033755146","display_name":"Eng Gee Lim","orcid":"https://orcid.org/0000-0003-0199-7386"},"institutions":[{"id":"https://openalex.org/I69356397","display_name":"Xi\u2019an Jiaotong-Liverpool University","ror":"https://ror.org/03zmrmn05","country_code":"CN","type":"education","lineage":["https://openalex.org/I69356397"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Eng Gee Lim","raw_affiliation_strings":["Xi'an Jiaotong-Liverpool University, China","Xi\u2032an Jiaotong Liverpool University, China"],"affiliations":[{"raw_affiliation_string":"Xi'an Jiaotong-Liverpool University, China","institution_ids":["https://openalex.org/I69356397"]},{"raw_affiliation_string":"Xi\u2032an Jiaotong Liverpool University, China","institution_ids":["https://openalex.org/I69356397"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109309121","display_name":"Joongho Choi","orcid":null},"institutions":[{"id":"https://openalex.org/I124633538","display_name":"University of Seoul","ror":"https://ror.org/05en5nh73","country_code":"KR","type":"education","lineage":["https://openalex.org/I124633538"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Joongho Choi","raw_affiliation_strings":["University of Seoul, South Korea","University of Seoul, South Korea >  >  >  >"],"affiliations":[{"raw_affiliation_string":"University of Seoul, South Korea","institution_ids":["https://openalex.org/I124633538"]},{"raw_affiliation_string":"University of Seoul, South Korea >  >  >  >","institution_ids":["https://openalex.org/I124633538"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5020103485"],"corresponding_institution_ids":["https://openalex.org/I69356397"],"apc_list":null,"apc_paid":null,"fwci":1.13710156,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77897677,"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":"285","last_page":"288"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9979000091552734,"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"}},"topics":[{"id":"https://openalex.org/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9979000091552734,"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/T10986","display_name":"RFID technology advancements","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/2214","display_name":"Media Technology"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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","display_name":"Reliability (semiconductor)","score":0.7858048677444458},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.7622682452201843},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7293946146965027},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6780455112457275},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6738914251327515},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.6240830421447754},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.5664853453636169},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3202700614929199},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17711079120635986},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.14586132764816284},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.07562413811683655}],"concepts":[{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.7858048677444458},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.7622682452201843},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7293946146965027},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6780455112457275},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6738914251327515},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.6240830421447754},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.5664853453636169},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3202700614929199},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17711079120635986},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.14586132764816284},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.07562413811683655},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"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/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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/isocc.2012.6407096","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isocc.2012.6407096","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 International SoC Design Conference (ISOCC)","raw_type":"proceedings-article"},{"id":"pmh:oai:hub.hku.hk:10722/198760","is_oa":false,"landing_page_url":"http://hdl.handle.net/10722/198760","pdf_url":null,"source":{"id":"https://openalex.org/S4377196271","display_name":"The HKU Scholars Hub (University of Hong Kong)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I889458895","host_organization_name":"University of Hong Kong","host_organization_lineage":["https://openalex.org/I889458895"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","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":32,"referenced_works":["https://openalex.org/W43149503","https://openalex.org/W588293427","https://openalex.org/W851027571","https://openalex.org/W1408885534","https://openalex.org/W1528836904","https://openalex.org/W1779129992","https://openalex.org/W2001199719","https://openalex.org/W2020648835","https://openalex.org/W2021198281","https://openalex.org/W2025312152","https://openalex.org/W2026966404","https://openalex.org/W2064440953","https://openalex.org/W2073707478","https://openalex.org/W2090146278","https://openalex.org/W2108584706","https://openalex.org/W2109762969","https://openalex.org/W2113365423","https://openalex.org/W2114764231","https://openalex.org/W2117427846","https://openalex.org/W2124904816","https://openalex.org/W2128559760","https://openalex.org/W2150015649","https://openalex.org/W2153905331","https://openalex.org/W2154296524","https://openalex.org/W2164038583","https://openalex.org/W2164040995","https://openalex.org/W2551616620","https://openalex.org/W2553952135","https://openalex.org/W6628131978","https://openalex.org/W6638105920","https://openalex.org/W6676392324","https://openalex.org/W6678592343"],"related_works":["https://openalex.org/W2770234245","https://openalex.org/W96612179","https://openalex.org/W4229499248","https://openalex.org/W2566006169","https://openalex.org/W1567818861","https://openalex.org/W2987774938","https://openalex.org/W4256492088","https://openalex.org/W632915154","https://openalex.org/W2055733372","https://openalex.org/W2079312091"],"abstract_inverted_index":{"Wireless":[0],"sensor":[1],"networks":[2],"(WSNs)":[3],"have":[4,64],"been":[5,65],"widely":[6],"used":[7],"for":[8,83],"monitoring":[9],"applications.":[10],"However,":[11],"due":[12],"to":[13,24,37,47],"the":[14,27,49,52,84],"rigorous":[15],"deployment":[16],"environment,":[17],"reliable":[18],"operation":[19],"of":[20,29,51,58,87],"WSNs":[21],"is":[22],"difficult":[23],"guarantee.":[25],"Thus,":[26],"assurance":[28,62,77],"WSN":[30,59],"reliability":[31,60,70,76],"should":[32],"be":[33],"concerned":[34],"in":[35],"order":[36],"measure":[38],"physical":[39],"quantities":[40],"correctly":[41],"and":[42,61,78],"effectively,":[43],"as":[44,46],"well":[45],"maximize":[48],"lifetime":[50],"system.":[53],"In":[54],"this":[55],"paper,":[56],"concerns":[57],"measures":[63],"discussed":[66],"via":[67],"a":[68],"systematic":[69],"checking":[71],"flow.":[72],"Furthermore,":[73],"issues":[74],"about":[75],"certification":[79],"are":[80],"also":[81],"raised":[82],"future":[85],"development":[86],"WSNs.":[88],"\u00a9":[89],"2012":[90],"IEEE.":[91]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2016-06-24T00:00:00"}