{"id":"https://openalex.org/W4244765749","doi":"https://doi.org/10.1109/iccad.2017.8203883","title":"Dependable integrated clinical system architecture with runtime verification","display_name":"Dependable integrated clinical system architecture with runtime verification","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W4244765749","doi":"https://doi.org/10.1109/iccad.2017.8203883"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2017.8203883","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2017.8203883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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/A5023871304","display_name":"Yu Jiang","orcid":"https://orcid.org/0000-0001-7344-7274"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Jiang","raw_affiliation_strings":["School of Software, Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100630730","display_name":"Mingzhe Wang","orcid":"https://orcid.org/0000-0002-2153-6766"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingzhe Wang","raw_affiliation_strings":["School of Software, Beijing University of Post and Telecommunication, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Beijing University of Post and Telecommunication, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100349028","display_name":"Han Liu","orcid":"https://orcid.org/0000-0001-8464-5858"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Han Liu","raw_affiliation_strings":["School of Software, Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100758253","display_name":"M. Reza Hosseini","orcid":"https://orcid.org/0000-0001-8675-736X"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Hosseini","raw_affiliation_strings":["Department of Computer Science, University of Illinois at Urbana-Champaign, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100429010","display_name":"Jiaguang Sun","orcid":"https://orcid.org/0000-0002-5884-7939"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaguang Sun","raw_affiliation_strings":["School of Software, Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Software, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.1045,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.97316129,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"1","issue":null,"first_page":"951","last_page":"956"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9714999794960022,"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/computer-science","display_name":"Computer science","score":0.7996870279312134},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.7576350569725037},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.6203938722610474},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5662164688110352},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5539417266845703},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5040289759635925},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4815785884857178},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4313231110572815},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.420251727104187},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.25912928581237793},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2396276295185089},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.208025723695755}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7996870279312134},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.7576350569725037},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.6203938722610474},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5662164688110352},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5539417266845703},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5040289759635925},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4815785884857178},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4313231110572815},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.420251727104187},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.25912928581237793},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2396276295185089},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.208025723695755}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2017.8203883","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2017.8203883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332222","display_name":"University of Illinois at Urbana-Champaign","ror":"https://ror.org/047426m28"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1566784595","https://openalex.org/W1863629953","https://openalex.org/W1975523615","https://openalex.org/W1975720701","https://openalex.org/W2024296478","https://openalex.org/W2033593612","https://openalex.org/W2077023771","https://openalex.org/W2098230708","https://openalex.org/W2103316272","https://openalex.org/W2121962824","https://openalex.org/W2139227508","https://openalex.org/W2149713648","https://openalex.org/W2342431457","https://openalex.org/W2407184253","https://openalex.org/W2407452468","https://openalex.org/W2488355999","https://openalex.org/W2518462874","https://openalex.org/W2554408217","https://openalex.org/W3020816025","https://openalex.org/W6713504763","https://openalex.org/W6776431091"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2106507440","https://openalex.org/W2809618173","https://openalex.org/W2118572231","https://openalex.org/W3120172095","https://openalex.org/W2406499533","https://openalex.org/W2950360254","https://openalex.org/W1522369122","https://openalex.org/W1563456403"],"abstract_inverted_index":{"Medical":[0],"devices":[1,37],"are":[2],"essential":[3],"for":[4,60,68,127,185],"the":[5,11,39,55,61,65,69,74,78,101,115,159,165,171,174,180,189],"practice":[6],"of":[7,73,106,168,173],"modern":[8],"medicine,":[9],"and":[10,22,71,77,81,104,117,130,151,156,179],"standard":[12],"open-source":[13],"integrated":[14,40,75,158],"clinical":[15,41],"environment":[16],"(OpenICE)":[17],"has":[18],"been":[19],"well":[20],"designed":[21],"widely":[23],"adopted":[24],"to":[25,34,43,63,87,92,98,148,164,187],"improve":[26],"their":[27],"interoperability.":[28],"With":[29],"OpenICE,":[30,62],"it":[31],"is":[32,86,183],"easy":[33],"connect":[35],"individual":[36],"into":[38],"system":[42,76],"provide":[44,93],"a":[45,94],"coherent":[46],"patient":[47,80],"care.":[48],"In":[49],"this":[50],"paper,":[51],"we":[52,112],"present":[53],"ICERV,":[54],"first":[56],"online":[57,131],"verification":[58,90],"approach":[59,160],"ensure":[64],"dependability":[66],"(mainly":[67],"safety":[70,116],"security)":[72],"involved":[79],"clinician.":[82],"The":[83],"key":[84],"idea":[85],"customize":[88],"runtime":[89],"technique":[91],"transparent":[95],"verifying":[96],"infrastructure":[97],"continually":[99],"intercept":[100],"communication":[102],"commands":[103],"messages":[105],"those":[107],"devices,":[108],"based":[109],"on":[110],"which,":[111],"can":[113],"formalize":[114],"security":[118],"requirements":[119,136],"as":[120],"past":[121],"time":[122],"linear":[123],"temporal":[124],"logic":[125],"expressions":[126],"verifier":[128],"generation":[129],"formal":[132],"verification.":[133],"If":[134],"any":[135,162],"violate,":[137],"predefined":[138],"warnings":[139],"or":[140,177],"exception":[141],"handling":[142],"actions":[143],"will":[144],"be":[145],"triggered":[146],"timely":[147],"prevent":[149],"hazards":[150],"threats.":[152],"We":[153],"have":[154],"implemented":[155],"seamlessly":[157],"without":[161],"changes":[163],"source":[166],"code":[167,172],"OpenICE":[169],"nor":[170],"upper-level":[175],"applications":[176],"supervision,":[178],"real":[181],"device":[182],"used":[184],"evaluation":[186],"demonstrate":[188],"effectiveness.":[190]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2022-05-12T00:00:00"}