{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:52:57Z","timestamp":1729677177072,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/memcod.2014.6961850","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T20:57:36Z","timestamp":1417035456000},"page":"124-133","source":"Crossref","is-referenced-by-count":17,"title":["An architecturally-integrated, systems-based hazard analysis for medical applications"],"prefix":"10.1109","author":[{"given":"Sam","family":"Procter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Hatcliff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795214"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1145\/2532443.2532473","article-title":"Hybrid AADL: A sublanguage extension to aadl","author":"qian","year":"2013","journal-title":"Proceedings of the 5th Asia-Pacific Symposium on Internetware Ser Lnternetware '13"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.051"},{"key":"16","article-title":"Perfonning hazard analysis on complex, software-and human-intensive systems","author":"thomas","year":"2011","journal-title":"Proceedings of the 29th International Conference on Systems Sa\/ety"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527272"},{"journal-title":"SAE Architecture Analysis and Design Language (AADL) Annex Volume 3 Annex E Error Model Annex","year":"2013","key":"14"},{"journal-title":"SEI AADL Team Technical Report","article-title":"An extensible open source aadl tool environment","year":"2004","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CASES.2013.6662512"},{"journal-title":"A Systems Theoretic Application to Design for the Safety of Medical Diagnostic Devices","year":"2012","author":"algos","key":"21"},{"journal-title":"ASTM International West Conshoken PA","article-title":"ASTM F2761-Medical Devices and Medical Systems-Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE)","year":"2009","key":"3"},{"journal-title":"SAE Architecture Analysis and Design Language (AADL) Annex Volume 2 Annex B Behavior Annex","year":"2011","key":"20"},{"key":"2","article-title":"Clinical scenario #1 patient controlled analgesia part l: Narrative description","author":"box","year":"2012","journal-title":"Bioengineering National Institute of Biomedical Imaging and"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2012.9"},{"key":"10","article-title":"The Architecture Analysis & Design Language (AADL): An introduction","author":"feiler","year":"2006","journal-title":"OTIC Document"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2527269.2527271"},{"journal-title":"Engineering A Safer World Systems Thinking Applied 10 Safety","year":"2011","author":"leveson","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1002\/0471739421"},{"key":"4","article-title":"Towards an AADL-B ased Definition of App Architectures for Medical Application Platfonns","author":"procter","year":"2014","journal-title":"Proceedings of the International Workshop on Software Engineering in Healthcare"},{"key":"9","volume":"680","author":"leveson","year":"1995","journal-title":"Safeware System Safety and Computers"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593895"}],"event":{"name":"2014 Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)","start":{"date-parts":[[2014,10,19]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,21]]}},"container-title":["2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6950639\/6961832\/06961850.pdf?arnumber=6961850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T01:00:52Z","timestamp":1498179652000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6961850\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/memcod.2014.6961850","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}