Abstract
Assurance cases are gaining traction as a viable means of certification in various safety/security critical industries. In this paper, we introduce a theory-based, property-driven continuous assurance framework that eliminates ad-hoc case constructions through emphasis on validity and soundness of the arguments, confidence of the claims/arguments/evidences and the systematized specification of defeaters. We then describe tools and automation support for semantic analysis of assurance cases and their synthesis. Finally, we showcase a continuous assurance tools infrastructure through an example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adelard: Claims Arguments Evidence. https://claimsargumentsevidence.org/
Adelard LLP: Assurance and Safety Case Environment. http://www.adelard.com/asce
Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. TPLP 18(3–4), 337–354 (2018)
Bloomfield, R., Netkatchova, K., Rushby, J.: Defeaters and Eliminative Argumentation in CLARISSA. arXiv preprint (2024). https://arxiv.org/abs/2405.15800
Bloomfield, R., Rushby, J.: Assurance 2.0: a manifesto. arXiv preprint (2021). https://arxiv.org/abs/2004.10474v3
Bloomfield, R., Rushby, J.: Assessing Confidence with Assurance 2.0. arXiv preprint (2024). https://arxiv.org/abs/2205.04522v4
Chowdhury, T., Lin, C., Kim, B., Lawford, M., Shiraishi, S., Wassyng, A.: Principles for systematic development of an assurance case template from ISO 26262. In: Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 (2017)
Cruanes, S., Heymans, S., Mason, I., Owre, S., Shankar, N.: The semantics of datalog for the evidential tool bus. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 256–275. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54624-2_13
Daw, Z., et al.: AACE: automated assurance case environment for aerospace certification. In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (2023)
Defense Advanced Research Projects Agency (DARPA): Automated Rapid Certification Of Software (ARCOS). https://www.darpa.mil/program/automated-rapid-certification-of-software
Denney, E., Pai, G.: A formal basis for safety case patterns. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 21–32. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40793-2_3
Denney, E., Pai, G., Pohl, J.: AdvoCATE: an assurance case automation toolset. In: Ortmeier, F., Daniel, P. (eds.) SAFECOMP 2012. LNCS, vol. 7613, pp. 8–21. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33675-1_2
Fortiss: Evidential Tool Bus (ETB) (2024). https://www.fortiss.org/en/research/projects/detail/evidential-tool-bus
Murugesan, A., et al.: Semantic analysis of assurance cases using s(CASP). In: Goal Directed Execution of Answer Set Programs (GDE) Workshop in ICLP (2023)
Murugesan, A., et al.: Automating semantic analysis of system assurance cases using goal-directed ASP. In: Submitted to the International Conference on Logic Programming (ICLP) (2024)
Radio Technical Commission for Aeronautics (RTCA): DO-178C: Software Considerations in Airborne Systems and Equipment Certification
Safety-Critical Systems Club’s (SCSC) Assurance Case Working Group (ACWG): Goal Structuring Notation(GSN). https://scsc.uk/gsn
Shankar, N., et al.: Continuous safety & security evidence generation, curation and assurance case construction using the evidential tool bus. In: To appear in 43rd AIAA/IEEE Digital Avionics Systems Conference (DASC) (2024)
Varadarajan, S., et al.: Clarissa: foundations, tools & automation for assurance cases. In: 42nd AIAA/IEEE Digital Avionics Systems Conference (DASC) (2023)
Varadarajan, S., et al.: Consistent logical automated reasoning for integrated system software assurance (CLARISSA). DARPA ARCOS Final Report. To appear shortly. Technical report (2024)
Acknowledgment
CLARISSA is supported by DARPA under contract number FA875020C0512. Distribution Statement “A”: Approved for Public Release, Distribution Unlimited. The views, opinions, and/or findings expressed are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Varadarajan, S. et al. (2024). Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. In: Ceccarelli, A., Trapp, M., Bondavalli, A., Schoitsch, E., Gallina, B., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops. SAFECOMP 2024. Lecture Notes in Computer Science, vol 14989. Springer, Cham. https://doi.org/10.1007/978-3-031-68738-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-68738-9_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-68737-2
Online ISBN: 978-3-031-68738-9
eBook Packages: Computer ScienceComputer Science (R0)