{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:26:02Z","timestamp":1729610762432,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/iccad.2017.8203883","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T22:02:04Z","timestamp":1513288924000},"page":"951-956","source":"Crossref","is-referenced-by-count":5,"title":["Dependable integrated clinical system architecture with runtime verification"],"prefix":"10.1109","author":[{"given":"Yu","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mingzhe","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Han","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad","family":"Hosseini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2014.2316234"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038667"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-016-0614-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2226594"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843734"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2358224"},{"journal-title":"The use of iec 60601–1 in supporting approvals of medical electrical devices and the role of the new collateral standard iec 60601–1-9","year":"2007","author":"turnbull","key":"ref18"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1201\/9780849379253-19","article-title":"Security solutions for pervasive healthcare","author":"venkatasubramanian","year":"2007","journal-title":"Security in Distributed Grid Mobile and Pervasive Computing"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2342536.2342540"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889233"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2008.16"},{"key":"ref8","article-title":"Data-centered runtime verification of wireless medical cyber-physical system","author":"jiang","year":"2016","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"ref7","first-page":"757","article-title":"Safety-assured formal model-driven design of the multifunction vehicle bus controller","author":"jiang","year":"2016","journal-title":"FM 2016 Formal Methods 21st International Symposium Limassol Cyprus November 9–11 2016 Proceedings 21"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165689"},{"key":"ref1","article-title":"ASTMF. Medical devices and medical systems essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ice)","volume":"1","year":"2009","journal-title":"General requirements and conceptual model"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461337"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970293"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11527770_25"}],"event":{"name":"2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2017,11,13]]},"location":"Irvine, CA","end":{"date-parts":[[2017,11,16]]}},"container-title":["2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8167715\/8203744\/08203883.pdf?arnumber=8203883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T09:07:14Z","timestamp":1603530434000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8203883\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2017.8203883","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}