Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
Authors: 
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín AriasAuthors Info & Claims
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín AriasAuthors Info & ClaimsPages 173 - 187
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.
References
[1]
Adelard: Claims Arguments Evidence. https://claimsargumentsevidence.org/
[2]
Adelard LLP: Assurance and Safety Case Environment. http://www.adelard.com/asce
[3]
Arias J, Carro M, Salazar E, Marple K, and Gupta G Constraint answer set programming without grounding TPLP 2018 18 3–4 337-354
[4]
Bloomfield, R., Netkatchova, K., Rushby, J.: Defeaters and Eliminative Argumentation in CLARISSA. arXiv preprint (2024). https://arxiv.org/abs/2405.15800
[5]
Bloomfield, R., Rushby, J.: Assurance 2.0: a manifesto. arXiv preprint (2021). https://arxiv.org/abs/2004.10474v3
[6]
Bloomfield, R., Rushby, J.: Assessing Confidence with Assurance 2.0. arXiv preprint (2024). https://arxiv.org/abs/2205.04522v4
[7]
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)
[8]
Cruanes S, Heymans S, Mason I, Owre S, and Shankar N Iida S, Meseguer J, and Ogata K The semantics of datalog for the evidential tool bus Specification, Algebra, and Software 2014 Heidelberg Springer 256-275
[9]
Daw, Z., et al.: AACE: automated assurance case environment for aerospace certification. In: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (2023)
[10]
Defense Advanced Research Projects Agency (DARPA): Automated Rapid Certification Of Software (ARCOS). https://www.darpa.mil/program/automated-rapid-certification-of-software
[11]
Denney E and Pai G Bitsch F, Guiochet J, and Kaâniche M A formal basis for safety case patterns Computer Safety, Reliability, and Security 2013 Heidelberg Springer 21-32
[12]
Denney E, Pai G, and Pohl J Ortmeier F and Daniel P AdvoCATE: an assurance case automation toolset Computer Safety, Reliability, and Security 2012 Heidelberg Springer 8-21
[13]
Fortiss: Evidential Tool Bus (ETB) (2024). https://www.fortiss.org/en/research/projects/detail/evidential-tool-bus
[14]
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)
[15]
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)
[16]
Radio Technical Commission for Aeronautics (RTCA): DO-178C: Software Considerations in Airborne Systems and Equipment Certification
[17]
Safety-Critical Systems Club’s (SCSC) Assurance Case Working Group (ACWG): Goal Structuring Notation(GSN). https://scsc.uk/gsn
[18]
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)
[19]
Varadarajan, S., et al.: Clarissa: foundations, tools & automation for assurance cases. In: 42nd AIAA/IEEE Digital Avionics Systems Conference (DASC) (2023)
[20]
Varadarajan, S., et al.: Consistent logical automated reasoning for integrated system software assurance (CLARISSA). DARPA ARCOS Final Report. To appear shortly. Technical report (2024)
Index Terms
- Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
Index terms have been assigned to the content through auto-classification.
Recommendations
A Case Study of Continuous Assurance Argument for Level 4 Automated Driving
Computer Safety, Reliability, and SecurityAbstractAutomated driving has a wide-ranging impact on our lives, making it crucial to form a consensus among various stakeholders for the dependability, including safety and availability. Moreover, a continuous assurance argument is essential to cope ...
Safety assurance: fact or fiction?
ASSC '11: Proceedings of the Australian System Safety Conference - Volume 133Many safety-related systems are also socio-technical systems and providing safety assurance for these systems is extremely challenging. Providing comprehensive safety assurance evidence for the technical elements of anything but the simplest of systems ...
A pragmatic approach to reasoning about the assurance of safety arguments
SCS '03: Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Systems. The safety case must provide confidence that the system is deemed safe ...
Comments
Information & Contributors
Information
Published In
Sep 2024
473 pages
ISBN:978-3-031-68737-2
DOI:10.1007/978-3-031-68738-9
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 17 September 2024
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Sep 2024
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in