{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T10:50:56Z","timestamp":1784371856664,"version":"3.55.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T00:00:00Z","timestamp":1490918400000},"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":[[2017,3,31]]},"abstract":"<jats:p>Assessing the safety of complex safety- or mission-critical systems under ever tightening time constraints with any degree of confidence is a growing challenge for industry and regulators alike. One method of helping to address this situation is through the use of assurance cases. Challenges abound here as well; too little or too much abstraction or poorly constructed arguments can affect confidence that a system will perform as intended. The automatic generation of a (safety) assurance case not only can expedite a development process but also leverage the ability to perform compliance checking. In this paper, we propose a novel framework which weaves a safety case pattern, guidance metamodel, and a development process metamodel together to generate a safety assurance case, which facilitates checking the conformance of the system to the guidance. As a case study, we use the GPCA infusion pump project as a subject to illustrate how this framework can aid in compliance checking using the infusion pump guidance published by FDA as a reference oracle.<\/jats:p>","DOI":"10.1145\/3076125.3076130","type":"journal-article","created":{"date-parts":[[2017,4,3]],"date-time":"2017-04-03T12:13:39Z","timestamp":1491221619000},"page":"44-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Support for safety case generation via model transformation"],"prefix":"10.1145","volume":"14","author":[{"given":"Chung-Ling","family":"Lin","sequence":"first","affiliation":[{"name":"Western Michigan University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wuwei","family":"Shen","sequence":"additional","affiliation":[{"name":"Western Michigan University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"Hawkins","sequence":"additional","affiliation":[{"name":"The University of York, York, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,3,31]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"U. M. o. Defense Defense Standard 00--56 Issue 4 (Part 1): Safety Management Requirements for Defense Systems 2007.  U. M. o. Defense Defense Standard 00--56 Issue 4 (Part 1): Safety Management Requirements for Defense Systems 2007."},{"key":"e_1_2_1_2_1","unstructured":"FDA Infusion Pumps Total Product Life Cycle-Guidance for Industry and FDA Staff 2014.  FDA Infusion Pumps Total Product Life Cycle-Guidance for Industry and FDA Staff 2014."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"R. France and B. Rumpe \"Model-driven development of complex software: A research roadmap \" in Future of Software Engineering 2007.  R. France and B. Rumpe \"Model-driven development of complex software: A research roadmap \" in Future of Software Engineering 2007.","DOI":"10.1109\/FOSE.2007.14"},{"key":"e_1_2_1_5_1","unstructured":"Eclipse's ATL Jan 2015. [Online]. Available: http:\/\/eclipse.org\/atl\/.  Eclipse's ATL Jan 2015. [Online]. Available: http:\/\/eclipse.org\/atl\/."},{"key":"e_1_2_1_6_1","unstructured":"G. Committee \"GSN Community Standard Version 1 \" 2011.  G. Committee \"GSN Community Standard Version 1 \" 2011."},{"key":"e_1_2_1_7_1","unstructured":"Object Management Group (OMG) 2012. [Online]. Available: http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/PDF\/.  Object Management Group (OMG) 2012. [Online]. Available: http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/PDF\/."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.25"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.11.009"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038667"},{"key":"e_1_2_1_11_1","unstructured":"Mathworks \"Simulink Modeling and Simulation Toolsuite \" [Online]. Available: http:\/\/www.mathworks.com\/products\/simulink\/.  Mathworks \"Simulink Modeling and Simulation Toolsuite \" [Online]. Available: http:\/\/www.mathworks.com\/products\/simulink\/."},{"key":"e_1_2_1_12_1","unstructured":"C.-L. Lin March 2016. [Online]. Available: http:\/\/homepages.wmich.edu\/~ckt7398\/.  C.-L. Lin March 2016. [Online]. Available: http:\/\/homepages.wmich.edu\/~ckt7398\/."},{"key":"e_1_2_1_14_1","first-page":"141","article-title":"A safety case pattern for model-based development approach,\" in NASA Formal Methods","author":"Ayoub A.","year":"2012","journal-title":"Springer"},{"key":"e_1_2_1_15_1","unstructured":"B. Schaetz M. Khalil and S. Voss \"A Pattern-based Approach towards Modular Safety Analysis and Argumentation \" in Embedded Real-Time and Software Systems 2014.  B. Schaetz M. Khalil and S. Voss \"A Pattern-based Approach towards Modular Safety Analysis and Argumentation \" in Embedded Real-Time and Software Systems 2014."},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"A. A. Hauge and K. St\u00f8len \"A pattern-based method for safe control systems exemplified within nuclear power production \" in Computer Safety Reliability and Security LNCS Volume 7612 2012.  A. A. Hauge and K. St\u00f8len \"A pattern-based method for safe control systems exemplified within nuclear power production \" in Computer Safety Reliability and Security LNCS Volume 7612 2012.","DOI":"10.1007\/978-3-642-33678-2_2"},{"key":"e_1_2_1_17_1","first-page":"1","article-title":"A lightweight methodology for safety case assembly,\" in Computer Safety, Reliability, and Security","author":"Denney E.","year":"2012","journal-title":"Springer"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3076125.3076130","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3076125.3076130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:43Z","timestamp":1750215823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3076125.3076130"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,31]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3,31]]}},"alternative-id":["10.1145\/3076125.3076130"],"URL":"https:\/\/doi.org\/10.1145\/3076125.3076130","relation":{},"ISSN":["1551-3688"],"issn-type":[{"value":"1551-3688","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,31]]},"assertion":[{"value":"2017-03-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}