{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:05Z","timestamp":1750307465653,"version":"3.41.0"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T00:00:00Z","timestamp":1246406400000},"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":[[2009,7]]},"abstract":"<jats:p>The increasing complexity of medical device software has created new challenges in ensuring that a medical device operates correctly. This paper discusses how two technologies---model-based development and static analysis---may be used to facilitate the successful engineering of medical software and some possible regulatory side benefits.<\/jats:p>","DOI":"10.1145\/1859823.1859824","type":"journal-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T11:55:58Z","timestamp":1285156558000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Engineering high confidence medical device software"],"prefix":"10.1145","volume":"6","author":[{"given":"Arnab","family":"Ray","sequence":"first","affiliation":[{"name":"Fraunhofer Center for Experimental Software Engineering"}]},{"given":"Raoul","family":"Jetley","sequence":"additional","affiliation":[{"name":"US Food and Drug Administration, Center for Devices and Radiological Health"}]},{"given":"Paul","family":"Jones","sequence":"additional","affiliation":[{"name":"US Food and Drug Administration, Center for Devices and Radiological Health"}]}],"member":"320","published-online":{"date-parts":[[2009,7]]},"reference":[{"volume-title":"Model-Based Design Verification. A Monitor Based Approach. Society of Automotive Engineers World Congress 2008","author":"Ackermann C.","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567551"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_1_4_1","unstructured":"}}E. Clarke O.Grumberg D.Pereld. Model Checking. MIT Press. 2000  }}E. Clarke O.Grumberg D.Pereld. Model Checking. MIT Press. 2000"},{"key":"e_1_2_1_5_1","unstructured":"}}General Principles of Software Validation; Final Guidance for Industry and FDA Staff. January 11 2002  }}General Principles of Software Validation; Final Guidance for Industry and FDA Staff. January 11 2002"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108768.1108808"},{"key":"e_1_2_1_8_1","unstructured":"}}High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care A Research and Development Needs Report Prepared by the High Confidence Software and Systems Coordinating Group of the Networking and Information Technology Research and Development Program February 2009  }}High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care A Research and Development Needs Report Prepared by the High Confidence Software and Systems Coordinating Group of the Networking and Information Technology Research and Development Program February 2009"},{"volume-title":"Proceedings of the IEEE Real Time Systems Symposium","year":"2007","author":"Jetley R.","key":"e_1_2_1_9_1"},{"volume-title":"National Academies Press","year":"2007","author":"Jackson D.","key":"e_1_2_1_10_1"},{"volume-title":"Static Evaluation of Software Architectures. 10th European Conference on Software Maintenance and Reengineering 2006","author":"Knodel J.","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","unstructured":"}}A. Ray R. Cleaveland S. Jiang T. Fuhrman. Model-Based Verification and Validation of Distributed Controller Architectures. Society of Automotive Engineers Convergence 2006  }}A. Ray R. Cleaveland S. Jiang T. Fuhrman. Model-Based Verification and Validation of Distributed Controller Architectures. Society of Automotive Engineers Convergence 2006"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1859823.1859824","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1859823.1859824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:32Z","timestamp":1750248512000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1859823.1859824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["10.1145\/1859823.1859824"],"URL":"https:\/\/doi.org\/10.1145\/1859823.1859824","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2009,7]]},"assertion":[{"value":"2009-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}