Advertisement

Analysing Dependability Case Arguments Using Quality Models

  • Michaela Huhn
  • Axel Zechner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5775)

Abstract

The Goal Structuring Notation (GSN)[1] facilitates a clear presentation of the argument structure in dependability cases for dependable systems. However, assessment of an argument structure with respect to validity, sufficiency and consistency of argumentation and the provided evidence still strongly depends on individual, tacit expert knowledge. We propose a 2-phase analysis method for argument structures:

Firstly, syntactic completeness, consistency, and proper instantiation of argument patterns are examined using a UML profile for GSN and OCL constraints. For the second phase, we propose 2-dimensional quality models to assist the expert in explicitly judging on the conclusiveness of argumentation. A quality model explicitly represents the impact of facts on design activities and software-system’s properties relevant for dependability. The impact value aggregates state-of-the-art knowledge and standard’s recommendations. Missing, negative or conflicting impact indicates impairment of the argument either by revealing a gap in the line of arguments or incompatibilities or opposing principles between decisions or techniques in the process. We show first steps towards the integration of the analysis into model-based tool supported development.

Keywords

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kelly, T.: Arguing Safety – A Systemic Approach to Managing Safety Cases. PhD thesis. University of York (1998)Google Scholar
  2. 2.
    Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Safety-Critical Systems Symposium (SAFECOMP), pp. 194–203 (1998)Google Scholar
  3. 3.
    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)Google Scholar
  4. 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)CrossRefGoogle Scholar
  5. 5.
    Avizienis, A., Laprie, J.C., Randell, B.: Fundamental concepts of dependability. Technical Report no. 01-145, UCLA, LAAS-CNRS, Univ. of Newcastle (2001)Google Scholar
  6. 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)Google Scholar
  7. 7.
    Graydon, P., Knight, J.: Success arguments: Establishing confidence in software development. Technical Report CS-2008-10, University of Virginia (2008)Google Scholar
  8. 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)Google Scholar
  9. 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)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 11.
    OMG Object Management Group: Unified modeling language specification (2003)Google Scholar
  12. 12.
    Maibaum, T.S.E., Wassyng, A.: A product-focused approach to software certification. IEEE Computer 41(2), 91–93 (2008)CrossRefGoogle Scholar
  13. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Michaela Huhn
    • 1
  • Axel Zechner
    • 1
  1. 1.Institute for Software Systems EngineeringTechnische Universität BraunschweigBraunschweigGermany

Personalised recommendations