{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:21:11Z","timestamp":1747196471066,"version":"3.40.5"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319138343"},{"type":"electronic","value":"9783319138350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13835-0_15","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T10:26:53Z","timestamp":1415960813000},"page":"209-223","source":"Crossref","is-referenced-by-count":1,"title":["Envisioning a Requirements Specification Template for Medical Device Software"],"prefix":"10.1007","author":[{"given":"Hao","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yihai","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ridha","family":"Khedri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Wassyng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Common Criteria for Information Technology Security Evaluation, Part 1: Introduction and General Model (September 2012), http:\/\/www.commoncriteriaportal.org\/cc\/"},{"key":"15_CR2","unstructured":"Ahmadi, M.: Requirements Documentation for Manufacturing Systems: Template and Management Tool. Master\u2019s thesis, McMaster University (September 2006)"},{"key":"15_CR3","unstructured":"Ahmadi, M., Tounsi, N., Khedri, R., Chen, Y., Wang, H., Huang, M.: SMART II. A Tool for the Documentation of Software Requirements Specification (August 2014), (Available for download under the GNU General Public License) http:\/\/www.cas.mcmaster.ca\/~khedri\/?page_id=460"},{"key":"15_CR4","unstructured":"Alspaugh, T.A., Faulk, S.R., Britton, K.H., Parker, R.A., Parnas, D.L.: Software Requirements for the A-7E Aircraft. Tech. rep., Naval Research Lab (1992)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-53956-5_7","volume-title":"Foundations of Health Information Engineering and Systems","author":"Y. Chen","year":"2014","unstructured":"Chen, Y., Lawford, M., Wang, H., Wassyng, A.: Insulin Pump Software Certification. In: Gibbons, J., MacCaull, W. (eds.) FHIES 2013. LNCS, vol.\u00a08315, pp. 87\u2013106. Springer, Heidelberg (2014)"},{"key":"15_CR6","unstructured":"Dooren, J.C.: FDA Sees Increasing Number Of Insulin Pump Problems. Wall Street Journal (March 2010), http:\/\/online.wsj.com\/article\/SB10001424052748703862704575099961829258070.html"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Ericson, C.A.: Hazard Analysis Techniques for System Safety. Wiley-Interscience (2005)","DOI":"10.1002\/0471739421"},{"key":"15_CR8","unstructured":"European Co-ordination of Notified Bodies Medical Devices: European NB-MED Recommendation 2.2 on Council Directives 90\/385\/EEC, 93\/42\/EEC and 98\/79\/EC (June 2001)"},{"key":"15_CR9","unstructured":"European Cooperation for Space Standardisation: ECSS-E-ST-40C: Standard on Space Engineering \u2013 Software general requirements (2009)"},{"key":"15_CR10","unstructured":"Faris, T.H.: Safe and Sound Software: Creating an Efficient and Effective Quality System for Software Medical Device Organizations. ASQ Quality Press (2006)"},{"issue":"5","key":"15_CR11","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1049\/sej.1996.0041","volume":"11","author":"E. Giakoumakis","year":"1996","unstructured":"Giakoumakis, E., Xylomenos, G.: Evaluation and Selection Criteria for Software Requirements Specification Standards. Software Engineering Journal\u00a011(5), 307\u2013319 (1996)","journal-title":"Software Engineering Journal"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MPRV.2008.16","volume":"7","author":"D. Halperin","year":"2008","unstructured":"Halperin, D., Kohno, T., Heydt-Benjamin, T.S., Fu, K., Maisel, W.H.: Security and Privacy for Implantable Medical Devices. IEEE Pervasive Computing\u00a07(1), 30\u201339 (2008)","journal-title":"IEEE Pervasive Computing"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"IEC 62304: Medical Device Software \u2013 Software Life Cycle Processes (May 2006)","DOI":"10.1049\/ic:20060141"},{"key":"15_CR14","unstructured":"IEC 62443: Industrial communication networks\u2013Network and system security"},{"key":"15_CR15","unstructured":"IEEE Standard: IEEE Recommended Practice for Software Requirements Specifications. IEEE Std 830-1998 (June 1998)"},{"key":"15_CR16","unstructured":"Institute of Medicine: Medical Devices and the Public\u2019s Health: The FDA 510(k) Clearance Process at 35 Years. The National Academies Press (2011)"},{"key":"15_CR17","unstructured":"ISO 14971:2007: Medical devices \u2013 Application of Risk Management to Medical Devices (2007)"},{"key":"15_CR18","unstructured":"ISO\/IEC Guide 51:1999: Safety aspects \u2013 Guidelines for their inclusion in standards (1999)"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-06251-8_2","volume-title":"Relational and Algebraic Methods in Computer Science","author":"J. Jaskolka","year":"2014","unstructured":"Jaskolka, J., Khedri, R., Zhang, Q.: Endowing Concurrent Kleene Algebra with Communication Actions. In: H\u00f6fner, P., Jipsen, P., Kahl, W., M\u00fcller, M.E. (eds.) RAMiCS 2014. LNCS, vol.\u00a08428, pp. 19\u201336. Springer, Heidelberg (2014)"},{"key":"15_CR20","unstructured":"Lai, L.: Requirements Documentation for Engineering Mechanics Software. Master\u2019s thesis, McMaster University (2004)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Leveson, N.: Engineering a Safer World: Applying Systems Thinking to Safety. MIT Press (2012)","DOI":"10.7551\/mitpress\/8179.001.0001"},{"key":"15_CR22","unstructured":"Networking and Information Technology Research and Development Program (NITRD): High-Confidence Medical Devices: Cyber-Physical Systems for 21st Century Health Care. Tech. rep. (2009)"},{"key":"15_CR23","unstructured":"Robertson, J., Robertson, S.: Volere Requirements Specification Template (August 2007)"},{"key":"15_CR24","unstructured":"Robertson, J.: The trials of a diabetic hacker. Bloomberg Businessweek (February 2012), http:\/\/www.businessweek.com\/articles\/2012-02-23\/the-trials-of-a-diabetic-hacker"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1007\/978-3-319-07725-3_46","volume-title":"Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management","author":"N.K. Singh","year":"2014","unstructured":"Singh, N.K., Wang, H., Lawford, M., Maibaum, T.S.E., Wassyng, A.: Formalizing the Glucose Homeostasis Mechanism. In: Duffy, V.G. (ed.) DHM 2014. LNCS, vol.\u00a08529, pp. 460\u2013471. Springer, Heidelberg (2014)"},{"key":"15_CR26","unstructured":"The Council Of The European Communities: Council Directive 93\/42\/EEC concerning medical devices (June 1993)"},{"key":"15_CR27","unstructured":"U.S. Federal Aviation Administration: DOT\/FAA\/AR-08\/32. Requirements Engineering Management Handbook (June 2009)"},{"key":"15_CR28","unstructured":"U.S. Food and Drug Administration: Manufacturer and User Facility Device Experience Database, http:\/\/www.accessdata.fda.gov\/scripts\/cdrh\/cfdocs\/cfmaude\/search.cfm"},{"key":"15_CR29","unstructured":"U.S. Food and Drug Administration: Recognized Consensus Standards Database, http:\/\/www.accessdata.fda.gov\/scripts\/cdrh\/cfdocs\/cfStandards\/search.cfm"},{"key":"15_CR30","unstructured":"U.S. Food and Drug Administration: Guidance for Industry and for FDA Staff: Use of Standards in Substantial Equivalence Determinations (March 2000)"},{"key":"15_CR31","unstructured":"U.S. Food and Drug Administration: General Principles of Software Validation; Final Guidance for Industry and FDA Staff (January 2002)"},{"key":"15_CR32","unstructured":"U.S. Food and Drug Administration: Guidance for the Content of Premarket Submissions for Software Contained in Medical Devices (May 2005)"},{"key":"15_CR33","unstructured":"Vogel, D.A.: Medical Device Software Verification, Validation, and Compliance. Artech House (2011)"},{"key":"15_CR34","doi-asserted-by":"crossref","unstructured":"Weiss, K., Leveson, N., Lundqvist, K., Farid, N., Stringfellow, M.: An Analysis of Causation in Aerospace Accidents. In: DASC 2001: The 20th Conference on Digital Avionics Systems, vol.\u00a01, pp. 4A3\/1\u20134A3\/12 (2001)","DOI":"10.1109\/DASC.2001.963364"},{"key":"15_CR35","unstructured":"Wiegers, K.E., Beatty, J.: Software Requirements, 3rd edn. (August 2013)"}],"container-title":["Lecture Notes in Computer Science","Product-Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13835-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T17:51:49Z","timestamp":1747158709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13835-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319138343","9783319138350"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13835-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}