Chung-Ling Lin
ABSTRACT
Evaluation of assurance cases typically requires certifiers' domain knowledge and experience, and, as such, most software certification has been conducted manually. Given the advancement in uncertainty theories and software traceability, we envision that these technologies can synergistically be combined and leveraged to offer some degree of automation to improve the certifiers' capability to perform software certification. To this end, we present a novel confidence calculation framework that 1) applies the Dempster-Shafer theory as a mathematical model to calculate the confidence between a parent claim and its children claims; and 2) uses the vector space model to evaluate the confidence for the evidence items using traceability information. A fragment of an assurance case (expressed in the goal-structuring notation - GSN) for the coupled tank system is used to illustrate our new framework.
- EUROCONTROL---European Organisation for the Safety of Air Navigation, "Preliminary Safety Case for ADS-B Airport Surface Surveillance Application, V 1.2," {Online}. Available: https://www.eurocontrol.int/sites/default/files/publication/files/surveillance-cascade-preliminary-safety-case-for-airports-surface-surveillance-applications-201111.pdf.Google Scholar
- R. Wang, J. Guiochet and G. Motet, "Confidence Assessment Framework for Safety Arguments," in Proc. of SafeComp'17, Trento, Italy, 2017.Google Scholar
- E. W. Denney and G. J. Pai, "Safety Case Patterns: Theory and Applications," NASA/TM-2015-218492, 2015.Google Scholar
- R. Hawkins, I. Habli, D. Kolovos, R. Paige and T. Kelly, "Weaving an Assurance Case from Design: A Model-Based Approach," in Proc. of HASE'15, Daytona Beach, FL, 2015. Google ScholarDigital Library
- Goal Structuring Notation Working Group, "GSN Community Standard Version 1," 2011.Google Scholar
- K. H. Gross, A. W. Fifarek and J. A. Hoffman, "Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System," in Proceedings of HASE'16, Orlando, FL, 2016. Google ScholarDigital Library
- G. Tsatsaronis and V. Panagiotopoulou, "A Generalized Vector Space Model for Text Retrieval Based on Semantic Relatedness," in Proc. of EACL'09, 2009. Google ScholarDigital Library
- AFRL-VVCAS, "TwoTanksExample," October 2015. {Online}. Available: https://github.com/AFRL-VVCAS/TwoTanksExample.Google Scholar
- E. Denney, P. Ganesh and H. Ibrahim, "Towards Measurement of Confidence in Safety Cases," in Proceedings of ESEM'11, Banff, Alberta, Canada, 2011. Google ScholarDigital Library
- L. Duan, S. Rayadurgam, M. Heimdahl, O. Sokolsky and I. Lee, "Representation of Confidence in Assurance Cases Using the Beta Distribution," in Proceedings of HASE'16, Orlando, FL, Jan, 2016. Google ScholarDigital Library
Recommendations
What Is a Requirements Engineer?
The lack of a clear definition about what constitutes a requirements engineer is problematic. Companies trying to establish clear RE responsibilities don't have clear standards on how to train their people, define the role, or choose the right people ...
Measuring (and enhancing?) student confidence with confidence scores
FIE '00: Proceedings of the 30th Annual Frontiers in Education - Volume 01The important skill of building confidence in one's analysis through sanity and cross-checking is often poorly acquired by engineering students. An introductory circuit analysis class presents an ideal opportunity in which to emphasize and measure this ...
Confidence measure
In meta-heuristic optimisation, the robustness of a particular solution can be confirmed by re-sampling, which is reliable but computationally expensive, or by reusing neighbourhood solutions, which is cheap but unreliable. This work proposes a novel ...
Comments