Arguing for software quality in an IEC 62304 compliant development process

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6416 LNCS, Issue PART 2, 2010, Pages 296-311

  Huhn, Michaela ^a   Zechner, Axel ^a  

^a CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVITY-BASED; BEST-PRACTICES; CURRENT SAFETY; DESIGN ARTIFACTS; DEVELOPMENT ACTIVITY; DEVELOPMENT PROCESS; ENGINEERING KNOWLEDGE; HIGH QUALITY; IEC 61508; INTERNATIONAL STANDARDS; MEDICAL DEVICES; PROCESS MODEL; QUALITY MANAGEMENT PLANS; QUALITY MODELS; SAFETY REGULATIONS; SOFTWARE DEVELOPMENT; SOFTWARE ENGINEERING METHODS; SOFTWARE LIFE CYCLES; SOFTWARE QUALITY; SOFTWARE SAFETY;

BIOMEDICAL ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL METHODS; QUALITY MANAGEMENT; SAFETY ENGINEERING; STANDARDS;

SOFTWARE DESIGN;

EID: 78650268804     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16561-0_30     Document Type: Conference Paper

References (20)

1. RTCA: Software considerations in airborne systems and equipment certification (December 1992)
2. Abdeen, M.M., Kahl, W., Maibaum, T.: Fda: Between process & product evaluation. In: Joint Workshop on High Confidence Medical Devices, Software and Systems and Medical Device Plug-and Play Interoperability. pp. 181-186 (2007)
3. Becker, U.: Model-based development of medical devices. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 4-17. Springer, Heidelberg (2009)
4. Bliznakov, Z., Mitalas, G., Pallikarakis, N.: Analysis and Classification of Medical Device Recalls. In: World Congress on Medical Physics and Biomedical Engineering - Imaging the Future Medicine. Springer, Heidelberg (2007)
5. Carr, M., Kondra, S., Monarch, I., Ulrich, F., Walker, C.: Taxonomy-based risk identification. Tech. Rep. CMU/SEI-93-TR-006, CMU/SEI (93)
6. Commission, I.E.: IEC 61508: Functional safety of electrical / electronic / programmable electronic safety-related systems (1998)
7. Commission, I.E.: 65A/524/CDV: IEC 61508-3: Functional safety of electrical/ electronic/programmable electronic safety-related systems Part 3: Software requirements, Committee Draft for Voting (2008)
8. Deissenboeck, F., Wagner, S., Pizka, M., Teuchert, S., Girard, J.F.: An activity-based quality model for maintainability. In: Proceedings of the 23rd International Conference on Software Maintenance, ICSM 2007 (2007)
9. Feldmann, R.L., Shull, F., Denger, C., Höst, 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, pp. 46-54 (2007)
10. Graydon, P., Knight, J.: Success arguments: Establishing confidence in software development. Tech. Rep. CS-2008-10, University of Virginia (2008)
11. Huhn, M., Zechner, A.: Analysing dependability case arguments using quality models. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 118-131. Springer, Heidelberg (2009)
12. International Electrotechnical Commission: Medical device software - Software lifecycle processes, IEC62304:2006 (2006)
13. Kelly, T.P., McDermid, J.A.: Safety case construction and reuse using patterns. In: Intl. Conf. on Computer Safety and Reliability (SAFECOMP), pp. 55-69 (1997)
14. Kelly, T.: Arguing Safety - A Systemic Approach to Managing Safety Cases. Ph.D. thesis, University of York (1998)
15. Kelly, T.: Reviewing assurance arguments - a step-by-step approach. In: Proceedings of Workshop on Assurance Cases for Security - The Metrics Challenge, Dependable Systems and Networks (DSN) (July 2007)
16. Maibaum, T.S.E., Wassyng, A.: A product-focused approach to software certification. IEEE Computer 41(2), 91-93 (2008)
17. Manleitner, M.: Quality attributes in IEC 62403 - a practical implementation of a process standard (2010)
18. Wallace, D., Kuhn, D.R.: Failure modes in medical device software: An analysis of 15 years of recall data. Intern. Journal of Reliability, Quality and Safety 8(4) (2001)
19. Yang, F., Jacquot, J.P.: Prouvé? et aprés? In: Actes10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, pp. 133-147 (2010)
20. Zechner, A., Huhn, M.: Structural analysis of safety case arguments in a model-based development environment. In: Tagungsband Modellbasierte Enwicklung eingebetteter Systeme V, MBEES 2009 (2009)