Abstract
Argument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper gives details of a new method which deals with both problems. We explain how to issue assessments and how they can be aggregated depending on the types of inference used in arguments. The method is fully implemented in a software tool. Its application is illustrated by examples. The paper also includes the results of experiments carried out to validate and calibrate the method.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bishop, P., Bloomfield, R.: A Methodology for Safety Case Development, Industrial Perspectives of Safety-critical Systems. In: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham (1998)
Bloomfield, R., Guerra, S., Masera, M., Miller, A., Sami Saydjari, O.: Assurance Cases for Security, A report from a Workshop on Assurance Cases for Security, Washington, USA (2005)
Bloomfield, R.E., Littlewood, B., Wright, D.: Confidence: Its Role in Dependability Cases for Risk Assessment. In: 37th Annual IEEE/IFIP International Conference Dependable Systems and Networks, pp. 338–346 (2007)
Cyra, L., Gorski, J.: Supporting Compliance with Safety Standards by Trust Case Templates. In: Proc. of ESREL 2007, Norway, vol. 2, pp. 1367–1374 (2007)
Cyra, L., Gorski, J.: Standard Compliance Framework for Effective Requirements Communication. Polish Journal of Environmental Studies 16(5B), 312–316 (2007)
Cyra, L., Gorski, J.: Extending GQM by Argument Structures. In: 2nd IFIP Central and East European Conference on Software Engineering Techniques CEE-SET, pp. 1–16 (2007)
Cyra, L., Gorski, J.: Using Argument Structures to Create a Measurement Plan. Polish Journal of Environmental Studies 16(5B), 230–234 (2007)
Cyra, L., Gorski, J.: Supporting Expert Assessment of Argument Structures in Trust Cases. In: Ninth International Probabilistic Safety Assessment and Management Conference PSAM 9, Hong Kong, China, pp. 1–9 (2008)
Gorski, J., Jarzebowicz, A., Leszczyna, R., Miler, J., Olszewski, M.: Trust Case: Justifying Trust in IT Solution, Elsevier, Reliability Engineering and System Safety, vol. 89, pp. 33–47 (2005)
Gorski, J.: Trust Case – a Case for Trustworthiness of IT Infrastructures, Cyberspace Security and Defence: Research Issues. NATO ARW, pp. 125–142. Springer, Heidelberg (2005)
Gorski, J.: Collaborative Approach to Trustworthiness of IT Infrastructures. In: Proc. of IEEE International Conference on Technologies for Homeland Security and Safety TEHOSS 2005, pp. 137–142 (2005)
Gorski, J., Zagorski, M.: Reasoning about Trust in IT Infrastructures. In: Proc. of ESREL 2005, pp. 689–695 (2005)
Greenwell, W., Strunk, E., Knight, J.: Failure Analysis and the Safety-Case Lifecycle, Human Error, Safety and Systems Development 2004, pp. 163–176 (2004)
Information Assurance Group: TCT User Manual, Gdansk University of Technology (2007), http://kio.eti.pg.gda.pl/trust_case/download/TCTEditor_Users_Manual.pdf
Josang, A., Grandison, T.: Conditional Inference in Subjective Logic. In: Proc. of the 6th International Conference on Information Fusion, Cairns, pp. 471–478 (2003)
Josang, A., Pope, S., Daniel, M.: Conditional Deduction Under Uncertainty. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol. 3571, pp. 824–835. Springer, Heidelberg (2005)
Kelly, T.: Arguing Safety – A Systematic Approach to Managing Safety Cases. PhD Thesis, University of York, UK (1998)
Kelly, T., McDermid, J.: A Systematic Approach to Safety Case Maintenance. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 271–284. Springer, Heidelberg (1999)
PIPS Project website, http://www.pips.eu.org
Sentez, K., Ferson, S.: Combination of Evidence in Dempster-Shafer Theory, SANDIA National Laboratories (2002)
Shafer, G.: Mathematical Theory of Evidence. Princetown University Press (1976)
Strigini, L.: Formalism and Judgement in Assurance Cases, Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities. In: Proc. of DSN 2004, Florence, Italy (2004)
Toulmin, S.: The Uses of Argument. Cambridge University Press, Cambridge (1969)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cyra, L., Górski, J. (2008). Expert Assessment of Arguments: A Method and Its Experimental Evaluation. In: Harrison, M.D., Sujan, MA. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2008. Lecture Notes in Computer Science, vol 5219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87698-4_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-87698-4_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87697-7
Online ISBN: 978-3-540-87698-4
eBook Packages: Computer ScienceComputer Science (R0)