{"id":"https://openalex.org/W2131209722","doi":"https://doi.org/10.1145/2494603.2480302","title":"Verification of interactive software for medical devices","display_name":"Verification of interactive software for medical devices","publication_year":2013,"publication_date":"2013-06-24","ids":{"openalex":"https://openalex.org/W2131209722","doi":"https://doi.org/10.1145/2494603.2480302","mag":"2131209722"},"language":"en","primary_location":{"id":"doi:10.1145/2494603.2480302","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2494603.2480302","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems","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/A5063933019","display_name":"Paolo Masci","orcid":"https://orcid.org/0000-0002-0667-7763"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Paolo Masci","raw_affiliation_strings":["Queen Mary University of London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040518309","display_name":"Anaheed Ayoub","orcid":null},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anaheed Ayoub","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, Pennsylvania, USA","[University of Pennsylvania, Philadelphia, Pennsylvania, USA]"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, Pennsylvania, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"[University of Pennsylvania, Philadelphia, Pennsylvania, USA]","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025355465","display_name":"Paul Curzon","orcid":"https://orcid.org/0000-0002-1301-9734"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul Curzon","raw_affiliation_strings":["Queen Mary University of London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090299074","display_name":"Michael D. Harrison","orcid":"https://orcid.org/0000-0002-5567-9650"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael D. Harrison","raw_affiliation_strings":["Queen Mary University of London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, Pennsylvania, USA","[University of Pennsylvania, Philadelphia, Pennsylvania, USA]"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, Pennsylvania, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"[University of Pennsylvania, Philadelphia, Pennsylvania, USA]","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000705557","display_name":"Harold Thimbleby","orcid":"https://orcid.org/0000-0003-2222-4243"},"institutions":[{"id":"https://openalex.org/I39586589","display_name":"Swansea University","ror":"https://ror.org/053fq8t95","country_code":"GB","type":"education","lineage":["https://openalex.org/I39586589"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Harold Thimbleby","raw_affiliation_strings":["Swansea University, Swansea, United Kingdom","Swansea University, SWANSEA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Swansea University, Swansea, United Kingdom","institution_ids":["https://openalex.org/I39586589"]},{"raw_affiliation_string":"Swansea University, SWANSEA, United Kingdom","institution_ids":["https://openalex.org/I39586589"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5063933019"],"corresponding_institution_ids":["https://openalex.org/I166337079"],"apc_list":null,"apc_paid":null,"fwci":8.5145,"has_fulltext":false,"cited_by_count":92,"citation_normalized_percentile":{"value":0.98140594,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"90"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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.9947999715805054,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9929999709129333,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.774883508682251},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6655741930007935},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6580021381378174},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5968554019927979},{"id":"https://openalex.org/keywords/food-and-drug-administration","display_name":"Food and drug administration","score":0.5533440709114075},{"id":"https://openalex.org/keywords/patient-safety","display_name":"Patient safety","score":0.5507633090019226},{"id":"https://openalex.org/keywords/medical-device","display_name":"Medical device","score":0.5440274477005005},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5008695125579834},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.4493907690048218},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4361836314201355},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4309837222099304},{"id":"https://openalex.org/keywords/medical-software","display_name":"Medical software","score":0.42215099930763245},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.35631150007247925},{"id":"https://openalex.org/keywords/health-care","display_name":"Health care","score":0.3241984248161316},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19667533040046692},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.17519041895866394},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.16431143879890442},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.13489559292793274},{"id":"https://openalex.org/keywords/biomedical-engineering","display_name":"Biomedical engineering","score":0.10334458947181702}],"concepts":[{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.774883508682251},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6655741930007935},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6580021381378174},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5968554019927979},{"id":"https://openalex.org/C3018890749","wikidata":"https://www.wikidata.org/wiki/Q204711","display_name":"Food and drug administration","level":2,"score":0.5533440709114075},{"id":"https://openalex.org/C2779328685","wikidata":"https://www.wikidata.org/wiki/Q1475557","display_name":"Patient safety","level":3,"score":0.5507633090019226},{"id":"https://openalex.org/C3020535179","wikidata":"https://www.wikidata.org/wiki/Q6554101","display_name":"Medical device","level":2,"score":0.5440274477005005},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5008695125579834},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.4493907690048218},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4361836314201355},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4309837222099304},{"id":"https://openalex.org/C28143949","wikidata":"https://www.wikidata.org/wiki/Q3751111","display_name":"Medical software","level":5,"score":0.42215099930763245},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35631150007247925},{"id":"https://openalex.org/C160735492","wikidata":"https://www.wikidata.org/wiki/Q31207","display_name":"Health care","level":2,"score":0.3241984248161316},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19667533040046692},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.17519041895866394},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.16431143879890442},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.13489559292793274},{"id":"https://openalex.org/C136229726","wikidata":"https://www.wikidata.org/wiki/Q327092","display_name":"Biomedical engineering","level":1,"score":0.10334458947181702},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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.1145/2494603.2480302","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2494603.2480302","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Good health and well-being","id":"https://metadata.un.org/sdg/3","score":0.4099999964237213}],"awards":[{"id":"https://openalex.org/G7267038184","display_name":null,"funder_award_id":"EP/G059063/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1497210446","https://openalex.org/W1578871155","https://openalex.org/W1580034569","https://openalex.org/W1659048632","https://openalex.org/W1970596867","https://openalex.org/W1998498226","https://openalex.org/W2039640681","https://openalex.org/W2067869350","https://openalex.org/W2098230708","https://openalex.org/W2108825163","https://openalex.org/W2142509047","https://openalex.org/W2144814285","https://openalex.org/W2147671052","https://openalex.org/W2149147658","https://openalex.org/W2149969760","https://openalex.org/W2150562312","https://openalex.org/W2150955313","https://openalex.org/W2162598207"],"related_works":["https://openalex.org/W4387189751","https://openalex.org/W2403588076","https://openalex.org/W2414228007","https://openalex.org/W2108575471","https://openalex.org/W2101895727","https://openalex.org/W2984402513","https://openalex.org/W2050632691","https://openalex.org/W2572848312","https://openalex.org/W2404584188","https://openalex.org/W4301883168"],"abstract_inverted_index":{"Medical":[0],"device":[1,191],"regulators":[2,38],"such":[3],"as":[4,63],"the":[5,24,28,41,79,92,148,155,158,211,217,221,226],"US":[6],"Food":[7],"and":[8,31,36,69,124,157,177,205,238],"Drug":[9],"Administration":[10],"(FDA)":[11],"aim":[12],"to":[13,55,66,119,122,136,140,181,219,236],"make":[14,32],"sure":[15],"that":[16,46,89,132,172,210,232],"medical":[17,56,82,114],"devices":[18,57,115,131],"are":[19,39,113,127,133,213],"reasonably":[20],"safe":[21],"before":[22],"entering":[23],"market.":[25],"To":[26],"expedite":[27],"approval":[29],"process":[30,207],"it":[33,64,173],"more":[34],"uniform":[35],"rigorous,":[37],"considering":[40],"development":[42],"of":[43,81,95,168],"reference":[44,109,145],"models":[45],"encapsulate":[47],"safety":[48,151],"requirements":[49,152,186,212],"against":[50,107],"which":[51],"software":[52],"incorporated":[53],"in":[54,78,117,194],"must":[58],"be":[59,105,234],"verified.":[60],"Safety,":[61],"insofar":[62],"relates":[65],"interactive":[67,93,190],"systems":[68],"its":[70],"regulation,":[71],"is":[72,86,160,171],"generally":[73],"a":[74,96,108,163,175,184,188,229],"neglected":[75],"topic,":[76],"particularly":[77],"context":[80],"systems.":[83],"An":[84],"example":[85],"presented":[87],"here":[88],"illustrates":[90],"how":[91],"behaviour":[94],"commercial":[97],"Patient":[98],"Controlled":[99],"Analgesia":[100],"(PCA)":[101],"infusion":[102,129],"pump":[103,130],"can":[104,233],"verified":[106],"model.":[110],"Infusion":[111],"pumps":[112,126],"used":[116,135],"healthcare":[118],"deliver":[120],"drugs":[121],"patients,":[123],"PCA":[125,150],"particular":[128,189],"often":[134],"provide":[137],"pain":[138],"relief":[139],"patients":[141],"on":[142,198],"demand.":[143],"The":[144,166],"model":[146],"encapsulates":[147],"Generic":[149],"provided":[153],"by":[154,228],"FDA,":[156],"verification":[159],"performed":[161],"using":[162],"refinement":[164],"approach.":[165],"contribution":[167],"this":[169,195],"work":[170],"demonstrates":[174],"concise":[176],"semantically":[178],"unambiguous":[179],"approach":[180],"representing":[182],"what":[183],"regulator's":[185],"for":[187,208],"might":[192],"be,":[193],"case":[196],"focusing":[197],"user-interface":[199],"requirements.":[200],"It":[201,215],"provides":[202],"an":[203],"inspectable":[204],"repeatable":[206],"demonstrating":[209],"satisfied.":[214],"has":[216],"potential":[218],"replace":[220],"considerable":[222],"documentation":[223],"produced":[224],"at":[225],"moment":[227],"succinct":[230],"document":[231],"subjected":[235],"careful":[237],"systematic":[239],"analysis.":[240]},"counts_by_year":[{"year":2025,"cited_by_count":48},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":8},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}