Skip to main content

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence

  • Conference paper
  • First Online:
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops (SAFECOMP 2023)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bloomfield, R.E., Rushby, J.M.: Assurance 2.0. arXiv abs/2004.10474 (2020)

    Google Scholar 

  2. Chen, P.P.S.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9–36 (1976)

    Article  Google Scholar 

  3. 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)

    Article  Google Scholar 

  4. 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)

  5. 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)

    Google Scholar 

  6. 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

    Chapter  Google Scholar 

  7. 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)

  8. 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

  9. GE Research: SADL: Semantic Application Design Language. https://github.com/SemanticApplicationDesignLanguage/sadl. Accessed 28 Apr 2023

  10. GE Research: SemTK: Semantics Toolkit on GitHub. https://github.com/ge-semtk/semtk. Accessed 28 Apr 2023

  11. GrammaTech: A-CERT. https://grammatech.github.io/prj/acert/. Accessed 1 May 2023

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Meng, B., et al.: Towards developing formalized assurance cases. In: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), pp. 1–9. IEEE (2020)

    Google Scholar 

  15. Moitra, A., et al.: A semantic reference model for capturing system development and evaluation. In: 2022 IEEE International Conference on Semantic Computing. IEEE (2022)

    Google Scholar 

  16. Moreau, L., Groth, P., Cheney, J., Lebo, T., Miles, S.: The rationale of PROV. J. Web Semant. 35, 235–257 (2015)

    Article  Google Scholar 

  17. 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

    Chapter  Google Scholar 

  18. 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

  19. Shankar, N., et al.: DesCert: design for certification. arXiv abs/2203.15178 (2022)

    Google Scholar 

  20. The Object Management Group: Structured Assurance Case Metamodel (2022). https://www.omg.org/spec/SACM/2.2/About-SACM/

  21. W3C: OWL - semantic web standards. https://www.w3.org/OWL. Accessed 28 Apr 2023

Download references

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

Authors

Corresponding author

Correspondence to Kit Siu .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics