{"id":"https://openalex.org/W2155780006","doi":"https://doi.org/10.1145/1791212.1791284","title":"A platform for implantable medical device validation","display_name":"A platform for implantable medical device validation","publication_year":2010,"publication_date":"2010-04-12","ids":{"openalex":"https://openalex.org/W2155780006","doi":"https://doi.org/10.1145/1791212.1791284","mag":"2155780006"},"language":"en","primary_location":{"id":"doi:10.1145/1791212.1791284","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1791212.1791284","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks","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/A5086742584","display_name":"Miroslav Paji\u0107","orcid":"https://orcid.org/0000-0002-5357-0117"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Miroslav Pajic","raw_affiliation_strings":["University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053473939","display_name":"Zhihao Jiang","orcid":"https://orcid.org/0000-0002-6730-6915"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhihao Jiang","raw_affiliation_strings":["University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061669838","display_name":"Allison T. Connolly","orcid":"https://orcid.org/0000-0002-9385-785X"},"institutions":[{"id":"https://openalex.org/I145311948","display_name":"Johns Hopkins University","ror":"https://ror.org/00za53h95","country_code":"US","type":"education","lineage":["https://openalex.org/I145311948"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Allison Connolly","raw_affiliation_strings":["Johns Hopkins University"],"affiliations":[{"raw_affiliation_string":"Johns Hopkins University","institution_ids":["https://openalex.org/I145311948"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110268922","display_name":"Sanjay Dixit","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sanjay Dixit","raw_affiliation_strings":["Hospital of the Univ. of Penn"],"affiliations":[{"raw_affiliation_string":"Hospital of the Univ. of Penn","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009445756","display_name":"Rahul Mangharam","orcid":"https://orcid.org/0000-0002-3388-8283"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rahul Mangharam","raw_affiliation_strings":["University of Pennsylvania"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania","institution_ids":["https://openalex.org/I36788626"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5086742584"],"corresponding_institution_ids":["https://openalex.org/I36788626"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.22246439,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"418","last_page":"419"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10598","display_name":"Cardiac pacing and defibrillation studies","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"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/T10598","display_name":"Cardiac pacing and defibrillation studies","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9947999715805054,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"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.7625366449356079},{"id":"https://openalex.org/keywords/heartbeat","display_name":"Heartbeat","score":0.48211240768432617},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4721170663833618},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4707660675048828},{"id":"https://openalex.org/keywords/heart-rhythm","display_name":"Heart Rhythm","score":0.43243151903152466},{"id":"https://openalex.org/keywords/medical-software","display_name":"Medical software","score":0.422777384519577},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4196472764015198},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.22988316416740417},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.17130661010742188},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.16409048438072205},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.14405757188796997},{"id":"https://openalex.org/keywords/cardiology","display_name":"Cardiology","score":0.11518758535385132},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11124902963638306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7625366449356079},{"id":"https://openalex.org/C13852961","wikidata":"https://www.wikidata.org/wiki/Q17021880","display_name":"Heartbeat","level":2,"score":0.48211240768432617},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4721170663833618},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4707660675048828},{"id":"https://openalex.org/C2780065318","wikidata":"https://www.wikidata.org/wiki/Q2058605","display_name":"Heart Rhythm","level":2,"score":0.43243151903152466},{"id":"https://openalex.org/C28143949","wikidata":"https://www.wikidata.org/wiki/Q3751111","display_name":"Medical software","level":5,"score":0.422777384519577},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4196472764015198},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.22988316416740417},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.17130661010742188},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.16409048438072205},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.14405757188796997},{"id":"https://openalex.org/C164705383","wikidata":"https://www.wikidata.org/wiki/Q10379","display_name":"Cardiology","level":1,"score":0.11518758535385132},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11124902963638306}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1791212.1791284","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1791212.1791284","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7300000190734863,"id":"https://metadata.un.org/sdg/3","display_name":"Good health and well-being"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1981240833","https://openalex.org/W1994999406","https://openalex.org/W2121960799"],"related_works":["https://openalex.org/W2160834655","https://openalex.org/W2401141119","https://openalex.org/W2046928991","https://openalex.org/W2381462255","https://openalex.org/W1862240612","https://openalex.org/W2375248064","https://openalex.org/W1605353610","https://openalex.org/W2162925013","https://openalex.org/W2348063302","https://openalex.org/W2095191056"],"abstract_inverted_index":{"Designing":[0],"bug-free":[1],"medical":[2,66,198,231],"device":[3,45,67,217,224,232],"software":[4],"is":[5,49,135],"difficult,":[6],"especially":[7],"in":[8,16],"complex":[9],"implantable":[10,128],"devices":[11],"that":[12],"may":[13],"be":[14],"used":[15],"unanticipated":[17],"contexts.":[18],"In":[19],"the":[20,27,62,83,87,109,133,160,173,176,215],"20-year":[21],"period":[22],"from":[23,44],"1985":[24],"to":[25,58,81,104,111,141,169,209],"2005,":[26],"US":[28],"Food":[29],"and":[30,40,60,94,120,125,146,171,196,213,222],"Drug":[31],"Administration's":[32],"(FDA)":[33],"Maude":[34],"database":[35],"records":[36],"almost":[37,41],"30,000":[38],"deaths":[39],"600,000":[42],"injuries":[43],"failures":[46],"[8].":[47],"There":[48],"currently":[50],"no":[51],"formal":[52,121,223],"methodology":[53,103],"or":[54],"open":[55],"experimental":[56],"platform":[57,117,190],"validate":[59],"verify":[61],"correct":[63],"operation":[64,85],"of":[65,86,108,127,137,155,178],"software.":[68],"To":[69],"this":[70],"effect,":[71],"a":[72,102,113,153,163,188],"real-time":[73],"Virtual":[74],"Heart":[75],"Model":[76],"(VHM)":[77],"has":[78,184],"been":[79,185],"developed":[80],"model":[82],"electrophysiological":[84],"functioning":[88],"(i.e.":[89,96,143,148],"during":[90,97,175],"normal":[91],"sinus":[92],"rhythm)":[93],"malfunctioning":[95],"arrhythmia)":[98],"heart.":[99],"We":[100,131],"present":[101],"extract":[105],"timing":[106],"properties":[107],"heart":[110,174,180],"construct":[112],"timed-automata":[114],"model.":[115],"The":[116,182,200],"exposes":[118],"functional":[119,221],"interfaces":[122],"for":[123,152,191,203,207,234],"validation":[124],"verification":[126],"cardiac":[129],"devices.":[130,199],"demonstrate":[132],"VHM":[134,161,183,201],"capable":[136],"generating":[138],"clinically-relevant":[139],"response":[140],"intrinsic":[142],"premature":[144],"stimuli)":[145],"external":[147],"artificial":[149],"pacemaker)":[150],"signals":[151],"variety":[154],"common":[156],"arrhythmias.":[157],"By":[158],"connecting":[159],"with":[162,194],"pacemaker":[164],"model,":[165],"we":[166],"are":[167],"able":[168],"pace":[170],"synchronize":[172],"onset":[177],"irregular":[179],"rhythms.":[181],"implemented":[186],"on":[187],"hardware":[189],"closed-loop":[192],"experimentation":[193],"existing":[195],"virtual":[197],"allows":[202],"exploratory":[204],"electrophysiology":[205],"studies":[206],"physicians":[208],"evaluate":[210],"their":[211],"diagnosis":[212],"determine":[214],"appropriate":[216],"therapy.":[218],"This":[219],"integrated":[220],"design":[225],"approach":[226],"will":[227],"potentially":[228],"help":[229],"expedite":[230],"certification":[233],"safer":[235],"operation.":[236]},"counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}