A Dependability Case Construction Approach Based on Dependability Deviation Analysis

Abstract:

As computer-based systems play an important role in our daily life, dependability assessment of these systems is of great significance. Simply combining the result of each dependability attribute could not reflect system dependability faithfully. Therefore, holistic methods to assess dependability are necessary. As a new and promising method which focused on demonstrating the dependability of product-specific system, structured assurance case model receives growing attention. Build a dependability case systematically and effectively is challenging work, particularly for systems which involves multi-contractor who have different responsibilities. In this paper, we proposed a new dependability case construction method to address the ownership problem of system dependability case which involves multiple contractors. Our method extends the existing Dependability Deviation Analysis with contractors analysis and elicitation and integrates the contractors information into the whole dependability argument architecture. We illustrate our contributions by application to a Train Control and Monitor System which preliminarily shows the effectiveness of our method.

• Periodical: Applied Mechanics and Materials (Volumes 543-547)
• Pages: 3682-3687
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.543-547.3682
• Online since: March 2014
• Authors: Da Jian Zhang*, Min Yan Lu, Xing Yu Zhao
• Keywords: Dependability Assessment, Dependability Case, GSN Contract

References

[1] R. Bloomfield, P. Bishop: In Proceedings of the Eighteenth Safety-Critical Systems Symposium (Bristol, UK, February 9, 2010), p.51.

[2] MoD: Def Standard 00-42 Reliability and Maintainability (R&M) Assurance Guides (Ministry of Defence, UK, 1999).

[3] G. Despotou, T. Kelly: In the 22nd International System Safety Conference (Providence, RI USA, August, 2004).

[4] C. B. Weinstock, J. J. Hudak: Dependability Cases (Carnegie Mellon University, USA 2004).

[5] I. Norros, P. Kuusela, and P. Savola: In Second International Conference on Emerging Security Information, Systems and Technologies (Cap Esterel, France, August 25-31, 2008), p.426.

DOI: 10.1109/securware.2008.43

[6] G. Despotou: Managing the Evolution of Dependability Cases for Systems of Systems (Ph.D., University of York, UK 2007).

[7] T.P. Kelly: Concepts and Principles of Compositional Safety Case Construction (MS., University of York, UK 2001).

[8] T.P. Kelly: Arguing Safety - a Systematic Approach to Managing Safety Cases (Ph.D., University of York, UK 1998).

[9] R.A. Weaver: The Safety of Software: Constructing and Assuring Arguments (Ph.D., University of York, UK 2007).

[10] G. Despotou, J. McDermid and T. Kelly: In the 23rd International System Safety Conference, System Safety Society (San Diego, USA, August 22-26, 2005).