{"id":"https://openalex.org/W2150124918","doi":"https://doi.org/10.1145/2584651","title":"Safety-critical medical device development using the UPP2SF model translation tool","display_name":"Safety-critical medical device development using the UPP2SF model translation tool","publication_year":2014,"publication_date":"2014-04-01","ids":{"openalex":"https://openalex.org/W2150124918","doi":"https://doi.org/10.1145/2584651","mag":"2150124918"},"language":"en","primary_location":{"id":"doi:10.1145/2584651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2584651","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10161/11281","any_repository_has_fulltext":true},"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/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":true,"raw_author_name":"Miroslav Pajic","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA","institution_ids":["https://openalex.org/I79576946"]}]},{"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/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":"Zhihao Jiang","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA","institution_ids":["https://openalex.org/I79576946"]}]},{"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, PA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082105260","display_name":"Oleg Sokolsky","orcid":"https://orcid.org/0000-0001-5282-0658"},"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":"Oleg Sokolsky","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA","institution_ids":["https://openalex.org/I79576946"]}]},{"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/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":"Rahul Mangharam","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5086742584"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":4.7526,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.95391872,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"13","issue":"4s","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"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/computer-science","display_name":"Computer science","score":0.8859742283821106},{"id":"https://openalex.org/keywords/stateflow","display_name":"Stateflow","score":0.8753904104232788},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.6476613283157349},{"id":"https://openalex.org/keywords/firmware","display_name":"Firmware","score":0.5739163160324097},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5573148131370544},{"id":"https://openalex.org/keywords/model-based-design","display_name":"Model-based design","score":0.5008864402770996},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4906822443008423},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4667031764984131},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.44315841794013977},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4142301678657532},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4140041172504425},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4103383421897888},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.39629197120666504},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34251269698143005},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.21334487199783325},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.15729883313179016},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13536641001701355},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10863682627677917},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.0986415445804596}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8859742283821106},{"id":"https://openalex.org/C2779752788","wikidata":"https://www.wikidata.org/wiki/Q1266659","display_name":"Stateflow","level":3,"score":0.8753904104232788},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.6476613283157349},{"id":"https://openalex.org/C67212190","wikidata":"https://www.wikidata.org/wiki/Q104851","display_name":"Firmware","level":2,"score":0.5739163160324097},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5573148131370544},{"id":"https://openalex.org/C195672273","wikidata":"https://www.wikidata.org/wiki/Q6888132","display_name":"Model-based design","level":2,"score":0.5008864402770996},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4906822443008423},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4667031764984131},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44315841794013977},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4142301678657532},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4140041172504425},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4103383421897888},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.39629197120666504},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34251269698143005},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.21334487199783325},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.15729883313179016},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13536641001701355},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10863682627677917},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0986415445804596},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2584651","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2584651","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:dukespace.lib.duke.edu:10161/11281","is_oa":true,"landing_page_url":"http://hdl.handle.net/10161/11281","pdf_url":null,"source":{"id":"https://openalex.org/S4306400687","display_name":"DukeSpace (Duke University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I170897317","host_organization_name":"Duke University","host_organization_lineage":["https://openalex.org/I170897317"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:dukespace.lib.duke.edu:10161/11281","is_oa":true,"landing_page_url":"http://hdl.handle.net/10161/11281","pdf_url":null,"source":{"id":"https://openalex.org/S4306400687","display_name":"DukeSpace (Duke University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I170897317","host_organization_name":"Duke University","host_organization_lineage":["https://openalex.org/I170897317"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1501731334","https://openalex.org/W1541553244","https://openalex.org/W1543735803","https://openalex.org/W1555222326","https://openalex.org/W1556566737","https://openalex.org/W1649096907","https://openalex.org/W1892497168","https://openalex.org/W1962072139","https://openalex.org/W1975523615","https://openalex.org/W1995146104","https://openalex.org/W2000947342","https://openalex.org/W2004463571","https://openalex.org/W2080003993","https://openalex.org/W2081324807","https://openalex.org/W2081620490","https://openalex.org/W2098230708","https://openalex.org/W2101185304","https://openalex.org/W2121960799","https://openalex.org/W2122113444","https://openalex.org/W2150220388","https://openalex.org/W2160031970","https://openalex.org/W2170064878","https://openalex.org/W2289263734","https://openalex.org/W2911583164","https://openalex.org/W6640868803","https://openalex.org/W6758238014"],"related_works":["https://openalex.org/W1971388161","https://openalex.org/W2384847609","https://openalex.org/W846343940","https://openalex.org/W178005583","https://openalex.org/W2154654775","https://openalex.org/W2554817549","https://openalex.org/W1986234937","https://openalex.org/W4310514135","https://openalex.org/W2375887183","https://openalex.org/W2150124918"],"abstract_inverted_index":{"Software-based":[0],"control":[1],"of":[2,21,34,54,94,124,136,171,199],"life-critical":[3],"embedded":[4,211],"systems":[5],"has":[6,15],"become":[7],"increasingly":[8],"complex,":[9],"and":[10,105,144,159,205],"to":[11,17,72,99,120,154],"a":[12,65,121,137],"large":[13,122],"extent":[14],"come":[16],"determine":[18],"the":[19,22,41,55,60,86,111,133,190,197],"safety":[20],"human":[23],"being.":[24],"For":[25],"example,":[26],"implantable":[27],"cardiac":[28],"pacemakers":[29],"have":[30,84],"over":[31,52],"80,000":[32],"lines":[33],"code":[35,75,166],"which":[36,90],"are":[37],"responsible":[38],"for":[39,51,67,156,167,183,208],"maintaining":[40],"heart":[42],"within":[43],"safe":[44],"operating":[45],"limits.":[46],"As":[47],"firmware-related":[48],"recalls":[49],"accounted":[50],"41%":[53],"600,000":[56],"devices":[57],"recalled":[58],"in":[59,132,146,189],"last":[61],"decade,":[62],"there":[63],"is":[64,130,141],"need":[66],"rigorous":[68],"model-driven":[69,134],"design":[70,135,191],"tools":[71],"generate":[73],"verified":[74,77,95,145],"from":[76],"software":[78],"models.":[79,125],"To":[80],"this":[81],"effect,":[82],"we":[83,176,195],"developed":[85],"UPP2SF":[87,129,179],"model-translation":[88],"tool,":[89],"facilitates":[91],"automatic":[92],"conversion":[93],"models":[96,100],"(in":[97,107],"UPPAAL)":[98],"that":[101,114],"may":[102,180],"be":[103,181],"simulated":[104],"tested":[106],"Simulink/Stateflow).":[108],"We":[109,126],"describe":[110],"translation":[112],"rules":[113],"ensure":[115],"correct":[116],"model":[117,140],"conversion,":[118],"applicable":[119],"class":[123],"demonstrate":[127,196],"how":[128,178],"used":[131,182],"pacemaker":[138],"whose":[139],"(a)":[142],"designed":[143],"UPPAAL":[147],"(using":[148],"timed":[149],"automata),":[150],"(b)":[151],"automatically":[152,162],"translated":[153],"Stateflow":[155],"simulation-based":[157],"testing,":[158],"then":[160],"(c)":[161],"generated":[163],"into":[164],"modular":[165],"hardware-level":[168],"integration":[169],"testing":[170,206],"timing-related":[172],"errors.":[173],"In":[174],"addition,":[175],"show":[177],"worst-case":[184],"execution":[185],"time":[186],"estimation":[187],"early":[188],"stage.":[192],"Using":[193],"UPP2SF,":[194],"value":[198],"integrated":[200],"end-to-end":[201],"modeling,":[202],"verification,":[203],"code-generation":[204],"process":[207],"complex":[209],"software-controlled":[210],"systems.":[212]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}