{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T12:18:07Z","timestamp":1764937087224,"version":"3.41.0"},"reference-count":30,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T00:00:00Z","timestamp":1565913600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2019,8,16]]},"abstract":"<jats:p>Building safe and secure interoperable medical devices with accompanying assurance artifacts is challenging. Many start-up companies have great ideas for innovation, but are not familiar with appropriate safety\/security-critical engineering processes, architecture principles, risk management, and assurance techniques. Larger, more experienced, companies may face hurdles in re-engineering their devices for interoperability and greater security. In academia, researchers often have good techniques for addressing some of the issues above, but are not familiar with how a realistic medical device is developed and assured. Building a prototype medical device for a classroom project or research work to validate proposed techniques is often a huge effort.<\/jats:p>\n          <jats:p>The Open PCA Pump illustrates a full suite of realistic development artifacts including use cases, requirements, architecture models, verified source code, testing and simulation infrastructure, risk management artifacts, and assurance cases that can be used to develop shared understanding of medical device innovations across the academic, industry, and regulatory communities.1<\/jats:p>","DOI":"10.1145\/3357495.3357496","type":"journal-article","created":{"date-parts":[[2019,8,16]],"date-time":"2019-08-16T19:35:19Z","timestamp":1565984119000},"page":"8-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["The open PCA pump project"],"prefix":"10.1145","volume":"16","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[{"name":"Kansas State University"}]},{"given":"Brian","family":"Larson","sequence":"additional","affiliation":[{"name":"Kansas State University"}]},{"given":"Todd","family":"Carpenter","sequence":"additional","affiliation":[{"name":"Adventium Labs"}]},{"given":"Paul","family":"Jones","sequence":"additional","affiliation":[{"name":"US Food and Drug Administration"}]},{"given":"Yi","family":"Zhang","sequence":"additional","affiliation":[{"name":"US Food and Drug Administration"}]},{"given":"Joseph","family":"Jorgens","sequence":"additional","affiliation":[{"name":"US Food and Drug Administration"}]}],"member":"320","published-online":{"date-parts":[[2019,8,16]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Daniel Amyot. 2018. jUCMNav - Eclipse plugin for the User Requirements Notation. http:\/\/jucmnav.softwareengineering.ca\/foswiki\/ProjetSEG\/WebHome. (2018).  Daniel Amyot. 2018. jUCMNav - Eclipse plugin for the User Requirements Notation. http:\/\/jucmnav.softwareengineering.ca\/foswiki\/ProjetSEG\/WebHome. (2018)."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3137003.3137008"},{"volume-title":"Writing Effective Use Cases","author":"Cockburn Alistar","key":"e_1_2_1_4_1","unstructured":"Alistar Cockburn . 2001. Writing Effective Use Cases . Addison-Wesley , Boston, MA . Alistar Cockburn. 2001. Writing Effective Use Cases. Addison-Wesley, Boston, MA."},{"key":"e_1_2_1_5_1","volume-title":"Preventing Patient-Controlled Analgesia Overdose. Joint Commission Perspectives on Patient Safety (October","author":"Joint Commission","year":"2005","unstructured":"Joint Commission . 2005. Preventing Patient-Controlled Analgesia Overdose. Joint Commission Perspectives on Patient Safety (October 2005 ), 11. Joint Commission. 2005. Preventing Patient-Controlled Analgesia Overdose. Joint Commission Perspectives on Patient Safety (October 2005), 11."},{"key":"e_1_2_1_6_1","volume-title":"US FDA Infusion Pump Improvement Initiative. (April","author":"FDA","year":"2010","unstructured":"FDA Infusion 2010. US FDA Infusion Pump Improvement Initiative. (April 2010 ). FDA Infusion 2010. US FDA Infusion Pump Improvement Initiative. (April 2010)."},{"key":"e_1_2_1_7_1","unstructured":"FDA Infusion Pump Guidance 2014. Total Product Life Cycle: Infusion Pump - Guidance for Industry and FDA Staff. https:\/\/www.fda.gov\/downloads\/medicaldevices\/deviceregulationandguidance\/guidancedocuments\/ucm209337.pdf. (2014).  FDA Infusion Pump Guidance 2014. Total Product Life Cycle: Infusion Pump - Guidance for Industry and FDA Staff. https:\/\/www.fda.gov\/downloads\/medicaldevices\/deviceregulationandguidance\/guidancedocuments\/ucm209337.pdf. (2014)."},{"key":"e_1_2_1_8_1","unstructured":"Generic Infusion Pump {n. d.}. Generic Infusion Pump Project Homepage. http:\/\/rtg.cis.upenn.edu\/gip.php3. ({n. d.}).  Generic Infusion Pump {n. d.}. Generic Infusion Pump Project Homepage. http:\/\/rtg.cis.upenn.edu\/gip.php3. ({n. d.})."},{"key":"e_1_2_1_9_1","volume-title":"Jose Creissac Campos, and Paul Curzon","author":"Harrison Michael D.","year":"2017","unstructured":"Michael D. Harrison , Paolo Masci , Jose Creissac Campos, and Paul Curzon . 2017 . Demonstrating that Medical Devices Satisfy User Related Safety Requirements. In Software Engineering in Health Care, Michaela Huhn and Laurie Williams (Eds.). Springer International Publishing , Cham, 113--128. Michael D. Harrison, Paolo Masci, Jose Creissac Campos, and Paul Curzon. 2017. Demonstrating that Medical Devices Satisfy User Related Safety Requirements. In Software Engineering in Health Care, Michaela Huhn and Laurie Williams (Eds.). Springer International Publishing, Cham, 113--128."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"Hatcliff John","key":"e_1_2_1_11_1","unstructured":"John Hatcliff , Brian R. Larson , Jason Belt , Robby, and Yi Zhang . 2018. A Unified Approach for Modeling, Developing, and Assuring Critical Systems . In Leveraging Applications of Formal Methods, Verification and Validation . Modeling, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing , Cham , 225--245. John Hatcliff, Brian R. Larson, Jason Belt, Robby, and Yi Zhang. 2018. A Unified Approach for Modeling, Developing, and Assuring Critical Systems. In Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Tiziana Margaria and Bernhard Steffen (Eds.). Springer International Publishing, Cham, 225--245."},{"volume-title":"2018 IEEE Symposium on Product Compliance Engineering (ISPCE). 1--14","author":"Hatcliff J.","key":"e_1_2_1_12_1","unstructured":"J. Hatcliff , E. Y. Vasserman , T. Carpenter , and R. Whillock . 2018. Challenges of distributed risk management for medical application platforms . In 2018 IEEE Symposium on Product Compliance Engineering (ISPCE). 1--14 . J. Hatcliff, E. Y. Vasserman, T. Carpenter, and R. Whillock. 2018. Challenges of distributed risk management for medical application platforms. In 2018 IEEE Symposium on Product Compliance Engineering (ISPCE). 1--14."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593895"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.2146\/ajhp070194"},{"key":"e_1_2_1_15_1","unstructured":"SAE International. 2015. SAE AS5506\/1 AADL Annex E: Error Model Annex. SAE International http:\/\/www.sae.org.  SAE International. 2015. SAE AS5506\/1 AADL Annex E: Error Model Annex . SAE International http:\/\/www.sae.org."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809085.1809086"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_19"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527271"},{"key":"e_1_2_1_19_1","unstructured":"Brian R Larson. 2018. Behavior Language for Embedded Systems with Software (BLESS) website. http:\/\/bless.santoslab.org. (2018).  Brian R Larson. 2018. Behavior Language for Embedded Systems with Software (BLESS) website. http:\/\/bless.santoslab.org. (2018)."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2663575.2663583"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837463"},{"key":"e_1_2_1_22_1","volume-title":"Technical Report DOT\/FAA\/AR-08\/32. US Federal Aviation Administration.","author":"Lempia D.","year":"2009","unstructured":"D. Lempia and S. Miller . 2009 . Requirement Engineering Management Handbook . Technical Report DOT\/FAA\/AR-08\/32. US Federal Aviation Administration. D. Lempia and S. Miller. 2009. Requirement Engineering Management Handbook. Technical Report DOT\/FAA\/AR-08\/32. US Federal Aviation Administration."},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_14"},{"key":"e_1_2_1_24_1","unstructured":"Gdansk University of Technology. 2018. NOR-STA: Support for Achieving and Assessing Conformance to NORms and STAndards. http:\/\/www.nor-sta.eu\/en. (2018).  Gdansk University of Technology. 2018. NOR-STA: Support for Achieving and Assessing Conformance to NORms and STAndards. http:\/\/www.nor-sta.eu\/en. (2018)."},{"key":"e_1_2_1_25_1","unstructured":"Object Modeling Group (OMG). 2017. OMG System Modeling Language (SysML) v1.5. http:\/\/www.omg.org\/spec\/SysML\/1.5\/. (2017).  Object Modeling Group (OMG). 2017. OMG System Modeling Language (SysML) v1.5. http:\/\/www.omg.org\/spec\/SysML\/1.5\/. (2017)."},{"key":"e_1_2_1_26_1","unstructured":"Boston Scientific. 2007. PACEMAKER System Specification. http:\/\/sqrl.mcmaster.ca\/pacemaker.htm. (2007).  Boston Scientific. 2007. PACEMAKER System Specification. http:\/\/sqrl.mcmaster.ca\/pacemaker.htm. (2007)."},{"key":"e_1_2_1_27_1","unstructured":"Sireum {n. d.}. Sireum: A high-assurance software development platform. http:\/\/sireum.org. ({n. d.}).  Sireum {n. d.}. Sireum: A high-assurance software development platform. http:\/\/sireum.org. ({n. d.})."},{"key":"e_1_2_1_28_1","unstructured":"Kansas State University. 2018. Open PCA Pump Project. http:\/\/openpcapump.santoslab.org. (2018).  Kansas State University. 2018. Open PCA Pump Project. http:\/\/openpcapump.santoslab.org. (2018)."},{"key":"e_1_2_1_29_1","unstructured":"D.D. Walden G.J. Roedler K.J. Forsberg R.D. Hamelin and T.M. Shortell (Eds.). 2015. INCOSE Systems Engineering Handbook. Wiley Hoboken NJ.  D.D. Walden G.J. Roedler K.J. Forsberg R.D. Hamelin and T.M. Shortell (Eds.). 2015. INCOSE Systems Engineering Handbook . Wiley Hoboken NJ."},{"volume-title":"Assurance Case Considerations for Interoperable Medical Systems","author":"Zhang Yi","key":"e_1_2_1_30_1","unstructured":"Yi Zhang , Brian Larson , and John Hatcliff . 2018. Assurance Case Considerations for Interoperable Medical Systems . In Computer Safety, Reliability, and Security, Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, and Friedemann Bitsch (Eds.). Springer International Publishing , Cham , 42--48. Yi Zhang, Brian Larson, and John Hatcliff. 2018. Assurance Case Considerations for Interoperable Medical Systems. In Computer Safety, Reliability, and Security, Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, and Friedemann Bitsch (Eds.). Springer International Publishing, Cham, 42--48."}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357495.3357496","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357495.3357496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:22Z","timestamp":1750202602000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357495.3357496"}},"subtitle":["an exemplar open source medical device as a community resource"],"short-title":[],"issued":{"date-parts":[[2019,8,16]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,8,16]]}},"alternative-id":["10.1145\/3357495.3357496"],"URL":"https:\/\/doi.org\/10.1145\/3357495.3357496","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2019,8,16]]},"assertion":[{"value":"2019-08-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}