Author:
Cuddihy Paul,Russell Daniel,Mertens Eric,Siu Kit,Archer Dave,Williams Jenny
Abstract
AbstractEvery deployed DoD system undergoes certification (or qualification, for military) to assess the software system’s fitness for use. Certification requires that human subject matter expert look over evidence and evaluate its conformance to standards such as DO-178C or the Risk Management Framework (RMF). Current practices are not keeping pace with the ever-increasing size of software systems and the amount of evidence required for their certification. This problem is further exasperated when platforms are comprised of systems of systems developed by multiple suppliers, each providing data generated by different tools, in different formats, and captured with different granularity. We demonstrate the application of W3C Semantic web technologies to perform efficient evidence curation under a military research program. This tech stack offers the right solutions for integrating data from heterogeneous sources and for performing graph-traversal queries across data that changes at a regular frequency.
Publisher
Springer Nature Switzerland
Reference19 articles.
1. ARCOS. https://www.darpa.mil/program/automated-rapid-certification-of-software.html. Accessed 14 Apr 2023
2. psac-template. https://studylib.net/doc/26041621/psac-template. Accessed 28 July 2023
3. Overview of Rational® DOORS®. https://www.ibm.com/docs/en/engineering-lifecycle-management-suite/doors/9.6.0?topic=overview-rational-doors. Accessed 28 July 2023
4. McMillan, C., Crapo, A., Durling, M., Li, M., et al.: Increasing development assurance for system and software development with validation and verification using ASSERT™. SAE Technical Paper 2019-01-1370 (2019). https://doi.org/10.4271/2019-01-1370
5. Crapo, A., Moitra, A.: Toward a unified English-like representation of semantic. Int. J. Semant. Comput. 7(3), 215–236 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献