Analysing dependability case arguments using quality models

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

Volumn 5775 LNCS, Issue , 2009, Pages 118-131

  Huhn, Michaela ^a   Zechner, Axel ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Argument Assessment; Argument structures; Dependability Case; Model based development; Quality models; Safety Case

Indexed keywords

ARGUMENT ASSESSMENT; ARGUMENT STRUCTURES; DEPENDABILITY CASE; MODEL-BASED DEVELOPMENT; QUALITY MODELS; SAFETY CASE;

EID: 70350449647     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04468-7_11     Document Type: Conference Paper

References (13)

1. Kelly, T.: Arguing Safety - A Systemic Approach to Managing Safety Cases. PhD thesis. University of York (1998)
2. Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Safety-Critical Systems Symposium (SAFECOMP), pp. 194-203 (1998)
3. Deissenboeck, F., Wagner, S., Pizka, M., Teuchert, S., Girard, J.F.: An activitybased quality model for maintainability. In: Proceedings of the 23rd International Conference on Software Maintenance, ICSM 2007 (2007)
4. Salger, F., Bennicke, M., Engels, G., Lewerentz, C.: Comprehensive architecture evaluation and management in large software-systems. In: Becker, S., Plasil, F., Reussner, R. (eds.) QoSA 2008. LNCS, vol. 5281, pp. 205-219. Springer, Heidelberg (2008)
5. Avizienis, A., Laprie, J.C., Randell, B.: Fundamental concepts of dependability. Technical Report no. 01-145, UCLA, LAAS-CNRS, Univ. of Newcastle (2001)
6. 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)
7. Graydon, P., Knight, J.: Success arguments: Establishing confidence in software development. Technical Report CS-2008-10, University of Virginia (2008)
8. Mayo, P.R.: Structured safety case evaluation: A systematic approach to safety case review. In: Inst. of Engineering and Technology Intl. Conf. on System Safety, pp. 164-173 (2006)
9. Wu, W., Kelly, T.: Combining bayesian belief networks and the goal structuring notation to support architectural reasoning about safety. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 172-186. Springer, Heidelberg (2007)
10. Cyra, L., Gorski, J.: Expert assessment of arguments: A method and its experimental evaluation. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 291-304. Springer, Heidelberg (2008)
11. OMG Object Management Group: Unified modeling language specification (2003)
12. Maibaum, T.S.E., Wassyng, A.: A product-focused approach to software certification. IEEE Computer 41(2), 91-93 (2008)
13. Carr, M., Kondra, S., Monarch, I., Ulrich, F., Walker, C.: Taxonomy-based risk identification. Technical Report CMU/SEI-93-TR-006, CMU/SEI (93)