{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:23:04Z","timestamp":1743142984252,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642212321"},{"type":"electronic","value":"9783642212338"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21233-8_7","type":"book-chapter","created":{"date-parts":[[2011,6,14]],"date-time":"2011-06-14T18:40:48Z","timestamp":1308076848000},"page":"73-83","source":"Crossref","is-referenced-by-count":0,"title":["Verification & Validation in Medi SPICE"],"prefix":"10.1007","author":[{"given":"M. S.","family":"Sivakumar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentine","family":"Casey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fergal","family":"McCaffery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerry","family":"Coleman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"7_CR1","first-page":"915","volume":"34","author":"E. Bernard","year":"2004","unstructured":"Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: GSM 11-11 standard case study. Software: Practice and Experience\u00a034(10), 915\u2013948 (2004)","journal-title":"Software: Practice and Experience"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Rayadurgam, S., Heimdahl, M.P.E.: Test-sequence generation from formal requirement models. In: Proc. Sixth IEEE International Symposium on High Assurance Systems Engineering, pp. 23\u201331 (2001)","DOI":"10.1109\/HASE.2001.966804"},{"key":"7_CR3","volume-title":"The Art of Software Testing","author":"G. Myers","year":"2004","unstructured":"Myers, G., Sandler, C., Badgett, T., Thomas, T.: The Art of Software Testing, 2nd edn. Wiley, Chichester (2004)","edition":"2"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/52.28119","volume":"6","author":"D.R. Wallace","year":"1989","unstructured":"Wallace, D.R., Fujii, R.U.: Software verification and validation: an overview. IEEE Software\u00a06(3), 10\u201317 (1989)","journal-title":"IEEE Software"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Berling, T., Thelin, T.: An industrial case study of the verification and validation activities. In: Proceedings of Ninth International, Software Metrics Symposium, September 3\u20135, pp. 226\u2013238 (2003)","DOI":"10.1109\/METRIC.2003.1232470"},{"issue":"10","key":"7_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/2.796141","volume":"32","author":"J.D. Arthur","year":"1999","unstructured":"Arthur, J.D., Groner, M.K., Hayhurst, K.J., Holloway, C.M.: Evaluating the effectiveness of independent verification and validation. Computer\u00a032(10), 79\u201383 (1999)","journal-title":"Computer"},{"key":"7_CR7","unstructured":"Tassy, G.: The Economic Impacts of Inadequate Infrastructure for Software Testing. National Institute of Standards and Technology (NIST), report 02-3 (May 2002)"},{"key":"7_CR8","unstructured":"CMMI Product Team, Capability Maturity Model\u00ae Integration for Development Version 1.2. Software Engineering Institute (2006)"},{"key":"7_CR9","unstructured":"ISO\/IEC 15504-5:2006, Information technology \u2014 Process Assessment \u2014 Part 5: An Exemplar Process Assessment Model. ISO, Geneva, Switzerland (2006)"},{"key":"7_CR10","unstructured":"ISO\/IEC 12207:1995\/Amd.1, Information Technology \u2014 Software life Cycle Processes Amendment 1. ISO, Geneva, Switzerland (2002)"},{"key":"7_CR11","unstructured":"Kit, E.: Software Testing in the Real World. Addison-Wesley, London (1995)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Jacobs, J.C., Trienekens, J.J.M.: Improving verification and validation in hardware\/software environments. In: Introduction to the workshop. Proceedings of 10th International Workshop on Software Technology and Engineering Practice, STEP 2002, October 6-8, pp. 121- 122 (2002)","DOI":"10.1109\/STEP.2002.1267621"},{"key":"7_CR13","unstructured":"Why Software Requirements Traceability Remains a Challenge - Cross Talk, Issue (July\/August 2009), http:\/\/www.stsc.hill.af.mil\/crosstalk\/2009\/07\/0907KannenbergSaiedian.html"},{"key":"7_CR14","unstructured":"Leveson, N.G.: Paper on System Safety in Computer-Controlled Automotive Systems. Massachusetts Institute of Technology, http:\/\/sunnyday.mit.edu\/papers\/sae.pdf"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Alawneh, L., Debbabi, M., Hassaine, F., Jarraya, Y., Soeanu, A.: A unified approach for verification and validation of systems and software engineering models. In: 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS 2006, March 27-30 pp. 409\u2013418, (2006)","DOI":"10.1109\/ECBS.2006.17"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"MIL-STD-498. Military Standard - Software Development And Documentation. US Department of Defense, USA, December 5 (1994)","DOI":"10.21236\/ADA291266"},{"key":"7_CR17","unstructured":"ISO\/DIS 26262 Road vehicles - Functional safety. ISO, Geneva, Switzerland"},{"key":"7_CR18","unstructured":"IEC 60880:2006, Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions. IEC, Geneva, Switzerland (2006)"},{"key":"7_CR19","unstructured":"IEC\/TR 61508:2005, Functional safety of electrical\/electronic\/ programmable electronic safety related systems. BSI, London (2005)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Kyung, A.Y., Seung-Hun, P., Doo-Hwan, B., Hoon-Seon, C., Jae-Cheon, J.: A Framework for the V&V Capability Assessment Focused on the Safety-Criticality. In: 13th IEEE International Workshop, Proc. Software Technology and Engineering Practice, pp. 17\u201324 (2005)","DOI":"10.1109\/STEP.2005.5"},{"key":"7_CR21","unstructured":"ISO 9001:2000 - Quality management systems - Requirements (2000)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Eastaughffe, A., Cant, A., Ozols, M.A.: A Framework for Assessing Standards for Safety-critical Computer-Based Systems. In: Fourth IEEE International Symposium and Forum on Software Engineering Standards. ISESS, p. 33 (1999)","DOI":"10.1109\/SESS.1999.766576"},{"key":"7_CR23","unstructured":"RTCA, RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"key":"7_CR24","unstructured":"Automotive SPICE Process Assessment. SIG, August 21 (2005)"},{"key":"7_CR25","unstructured":"US FDA Center for Devices and Radiological Health. General Principles of Software Validation; Final Guidance for Industry and FDA Staff. CDRH, Rockville (2002)"},{"key":"7_CR26","unstructured":"European Council, Council Directive 93\/42\/EEC Concerning Medical Devices. Official Journal of The European Communities, Luxembourg (1993)"},{"key":"7_CR27","unstructured":"European Council, Council Directive 2007\/47\/EC (Amendment). Official Journal of The European Union, Luxembourg (2007)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"ANSI\/AAMI\/IEC 62304:2006, Medical device software\u2014Software life cycle processes. AAMI, Arlington (2006)","DOI":"10.1049\/ic:20060141"},{"key":"7_CR29","unstructured":"ISO 13485:2003. Medical devices \u2014 Quality management systems \u2014 Requirements for regulatory purposes, 2nd edn. ISO, Geneva, Switzerland (2003)"},{"key":"7_CR30","unstructured":"ISO 14971:2007. Medical Devices \u2014 Application of risk management to medical devices, 2nd edn. ISO, Geneva (2007)"},{"key":"7_CR31","unstructured":"Future Trends in Medical Device Innovation. Advanced Medical Technology Association, AdvaMed (2004), http:\/\/www.advamed.org\/MemberPortal\/About\/NewsRoom\/MediaKits\/futuretrendsinmedicaldeviceinnovaton.htm"},{"key":"7_CR32","unstructured":"ITEA 2 Blue Book (September 2005), http:\/\/www.itea2.org\/itea_2_blue_book"},{"key":"7_CR33","unstructured":"Wallace, D.R., Richard Kuhn, D.: Failure Modes in Medical Device Software: An analysis of 15 years of recall data. International Journal of Reliability, Quality and Safety"},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Feldmann, R.L., Shull, F., Denger, C., Host, M., Lindholm, C.: A Survey of Software Engineering Techniques in Medical Device Development. In: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS-MDPnP, June 25-27, pp.46-54 (2007)","DOI":"10.1109\/HCMDSS-MDPnP.2007.4"},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"Lin. W., Fan, X.: Software Development Practice for FDA-Compliant Medical Devices. In: International Joint Conference on Computational Sciences and Optimization, CSO 2009, April 24-26, vol.2, pp. 388\u2013390 (2009)","DOI":"10.1109\/CSO.2009.191"},{"key":"7_CR36","unstructured":"US FDA\/CDRH, 21CFR820, Quality System Regulation (2007)"},{"key":"7_CR37","unstructured":"US FDA\/CDRH, Guidance for the Content of Premarket Submissions for Software Contained in Medical Devices (2005)"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Burton, J., McCaffery, F., Richardson, I.: A risk management capability model for use in medical device companies. In: International Workshop on Software quality (WoSQ 2006), Shanghai, China, pp. 3\u20138. ACM, New York (2006)","DOI":"10.1145\/1137702.1137705"},{"key":"7_CR39","unstructured":"US FDA Center for Devices and Radiological Health. Off-The-Shelf Software Use in Medical Devices; Guidance for Industry, medical device Reviewers and Compliance. CDRH, Rockville (1999)"},{"key":"7_CR40","unstructured":"Eagles, S., Murray, J.: Medical Device Software Standards: Vision and Status, Medical Device and Diagnostic Industry (May 2001), http:\/\/www.mddionline.com\/archive\/all\/1969?page=475"},{"key":"7_CR41","unstructured":"McCaffery, F., Dorling, A., Casey, V.: Medi SPICE: An Update. In: The 10th International Spice Conference, SPICE 2010, Pisa, Italy May 18\u201320 (2010)"},{"key":"7_CR42","unstructured":"IEEE Standards for Software Verification and Validation, p. 58. IEEE, Los Alamitos (1998)"},{"key":"7_CR43","unstructured":"IEC\/TR 80002-1:2009. Medical device software Part 1: Guidance on the application of ISO 14971 to medical device software. BSI, London (2009)"},{"key":"7_CR44","unstructured":"European Council, Council Directive 98\/79\/EC On in vitro diagnostic medical devices. Official Journal of The European Communities, Luxembourg (1998)"},{"key":"7_CR45","unstructured":"European Council, Council Directive 90\/385\/EEC On the approximation of the laws of the Members States relating to active implantable medical devices. Official Journal of The European Communities, Luxembourg (1990)"},{"key":"7_CR46","unstructured":"Medical & Radiation Emitting Device Recalls, FDA (2011), http:\/\/www.accessdata.fda.gov\/scripts\/cdrh\/cfdocs\/cfres\/res.cfm (accessed February 10, 2011)"}],"container-title":["Communications in Computer and Information Science","Software Process Improvement and Capability Determination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21233-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T04:57:16Z","timestamp":1741237036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21233-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642212321","9783642212338"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21233-8_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}