Abstract
Certification of large systems requires reasoning over complex, diverse evidential datasets to determine whether its software is fit for purpose. This requires a detailed understanding of the meaning of that data, the context in which it is valid, and the uses to which it may reasonably be put. Unfortunately, current practices for assuring software safety do not scale to accommodate modern Department of Defense (DoD) systems, resulting in unfavorable behaviors such as putting off fixes to defects until the risk of not mitigating them outweighs the high cost of re-certification. In this work, we describe a novel data curation system, RACK, that addresses cost-effective, scalable curation of diverse certification evidence to facilitate the construction of an assurance case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bloomfield, R.E., Rushby, J.M.: Assurance 2.0. arXiv abs/2004.10474 (2020)
Chen, P.P.S.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9–36 (1976)
Crapo, A., Moitra, A.: Toward a unified English-like representation of semantic models, data, and graph patterns for subject matter experts. Int. J. Semant. Comput. 7(03), 215–236 (2013)
Cuddihy, P., McHugh, J., Williams, J.W., Mulwad, V., Aggour, K.S.: SemTK: an ontology-first, open source semantic toolkit for managing and querying knowledge graphs. arXiv preprint arXiv:1710.11531 (2017)
Cuddihy, P., McHugh, J., Williams, J.W., Mulwad, V., Aggour, K.S.: SemTK: a semantics toolkit for user-friendly SPARQL generation and semantic data management. In: International Semantic Web Conference (P &D/Industry/BlueSky) (2018)
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
Deputy Assistant Secretary of Defense: Digital Engineering Strategy. https://ac.cto.mil/wp-content/uploads/2019/06/2018-Digital-Engineering-Strategy_Approved_PrintVersion.pdf (2018)
GE Research: DARPA’s Automated Rapid Certification Of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK). https://github.com/ge-high-assurance/RACK. Accessed 28 Apr 2023
GE Research: SADL: Semantic Application Design Language. https://github.com/SemanticApplicationDesignLanguage/sadl. Accessed 28 Apr 2023
GE Research: SemTK: Semantics Toolkit on GitHub. https://github.com/ge-semtk/semtk. Accessed 28 Apr 2023
GrammaTech: A-CERT. https://grammatech.github.io/prj/acert/. Accessed 1 May 2023
Herencia-Zapana, H., Russell, D., Prince, D., Siu, K., Cuddihy, P.: Towards compliance to safety objectives using data curation. In: 2023 Annual Reliability and Maintainability Symposium (RAMS), pp. 1–8 (2023)
Kelly, T., Weaver, R.: The goal structuring notation-a safety argument notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, p. 6. Citeseer (2004)
Meng, B., et al.: Towards developing formalized assurance cases. In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), pp. 1–9. IEEE (2020)
Moitra, A., et al.: A semantic reference model for capturing system development and evaluation. In: 2022 IEEE International Conference on Semantic Computing. IEEE (2022)
Moreau, L., Groth, P., Cheney, J., Lebo, T., Miles, S.: The rationale of PROV. J. Web Semant. 35, 235–257 (2015)
Ruiz, A., Gallina, B., de la Vara, J.L., Mazzini, S., Espinoza, H.: Architecture-driven, multi-concern and seamless assurance and certification of cyber-physical systems. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 311–321. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45480-1_25
Russell, D., Moitra, A., Siu, K., McMillan, C.: Modeling a DO-178C plan and analyzing in a semantic model. In: 2022 Annual Reliability and Maintainability Symposium (RAMS), pp. 1–8 (2022). https://doi.org/10.1109/RAMS51457.2022.9893967
Shankar, N., et al.: DesCert: design for certification. arXiv abs/2203.15178 (2022)
The Object Management Group: Structured Assurance Case Metamodel (2022). https://www.omg.org/spec/SACM/2.2/About-SACM/
W3C: OWL - semantic web standards. https://www.w3.org/OWL. Accessed 28 Apr 2023
Acknowledgements and Disclaimer
Distribution Statement “A” (Approved for Public Release, Distribution Unlimited). This research was developed with funding from the Defense Advanced Research Projects Agency (DARPA). The views, opinions and/or findings expressed are those of the author and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government. The authors would like to give special thanks to John Interrante for ensuring that each RACK release is of highest quality.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Moitra, A. et al. (2023). RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. In: Guiochet, J., Tonetta, S., Schoitsch, E., Roy, M., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops. SAFECOMP 2023. Lecture Notes in Computer Science, vol 14182. Springer, Cham. https://doi.org/10.1007/978-3-031-40953-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-40953-0_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-40952-3
Online ISBN: 978-3-031-40953-0
eBook Packages: Computer ScienceComputer Science (R0)