{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:06:56Z","timestamp":1764785216821,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031409523"},{"type":"electronic","value":"9783031409530"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-40953-0_13","type":"book-chapter","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:02:08Z","timestamp":1694624528000},"page":"149-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["RACK: A Semantic Model and\u00a0Triplestore for\u00a0Curation of\u00a0Assurance Case Evidence"],"prefix":"10.1007","author":[{"given":"Abha","family":"Moitra","sequence":"first","affiliation":[]},{"given":"Paul","family":"Cuddihy","sequence":"additional","affiliation":[]},{"given":"Kit","family":"Siu","sequence":"additional","affiliation":[]},{"given":"David","family":"Archer","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Mertens","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Russell","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Quick","sequence":"additional","affiliation":[]},{"given":"Valentin","family":"Robert","sequence":"additional","affiliation":[]},{"given":"Baoluo","family":"Meng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,9,14]]},"reference":[{"key":"13_CR1","unstructured":"Bloomfield, R.E., Rushby, J.M.: Assurance 2.0. arXiv abs\/2004.10474 (2020)"},{"issue":"1","key":"13_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PPS Chen","year":"1976","unstructured":"Chen, P.P.S.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. (TODS) 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst. (TODS)"},{"issue":"03","key":"13_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1142\/S1793351X13500025","volume":"7","author":"A Crapo","year":"2013","unstructured":"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\u2013236 (2013)","journal-title":"Int. J. Semant. Comput."},{"key":"13_CR4","unstructured":"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)"},{"key":"13_CR5","unstructured":"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)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-642-33675-1_2","volume-title":"Computer Safety, Reliability, and Security","author":"E Denney","year":"2012","unstructured":"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\u201321. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33675-1_2"},{"key":"13_CR7","unstructured":"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)"},{"key":"13_CR8","unstructured":"GE Research: DARPA\u2019s Automated Rapid Certification Of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK). https:\/\/github.com\/ge-high-assurance\/RACK. Accessed 28 Apr 2023"},{"key":"13_CR9","unstructured":"GE Research: SADL: Semantic Application Design Language. https:\/\/github.com\/SemanticApplicationDesignLanguage\/sadl. Accessed 28 Apr 2023"},{"key":"13_CR10","unstructured":"GE Research: SemTK: Semantics Toolkit on GitHub. https:\/\/github.com\/ge-semtk\/semtk. Accessed 28 Apr 2023"},{"key":"13_CR11","unstructured":"GrammaTech: A-CERT. https:\/\/grammatech.github.io\/prj\/acert\/. Accessed 1 May 2023"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"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\u20138 (2023)","DOI":"10.1109\/RAMS51473.2023.10088181"},{"key":"13_CR13","unstructured":"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)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Meng, B., et al.: Towards developing formalized assurance cases. In: 2020 AIAA\/IEEE 39th Digital Avionics Systems Conference (DASC), pp. 1\u20139. IEEE (2020)","DOI":"10.1109\/DASC50938.2020.9256740"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Moitra, A., et al.: A semantic reference model for capturing system development and evaluation. In: 2022 IEEE International Conference on Semantic Computing. IEEE (2022)","DOI":"10.1109\/ICSC52841.2022.00035"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.websem.2015.04.001","volume":"35","author":"L Moreau","year":"2015","unstructured":"Moreau, L., Groth, P., Cheney, J., Lebo, T., Miles, S.: The rationale of PROV. J. Web Semant. 35, 235\u2013257 (2015)","journal-title":"J. Web Semant."},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-45480-1_25","volume-title":"Computer Safety, Reliability, and Security","author":"A Ruiz","year":"2016","unstructured":"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\u2013321. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45480-1_25"},{"key":"13_CR18","doi-asserted-by":"publisher","unstructured":"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\u20138 (2022). https:\/\/doi.org\/10.1109\/RAMS51457.2022.9893967","DOI":"10.1109\/RAMS51457.2022.9893967"},{"key":"13_CR19","unstructured":"Shankar, N., et al.: DesCert: design for certification. arXiv abs\/2203.15178 (2022)"},{"key":"13_CR20","unstructured":"The Object Management Group: Structured Assurance Case Metamodel (2022). https:\/\/www.omg.org\/spec\/SACM\/2.2\/About-SACM\/"},{"key":"13_CR21","unstructured":"W3C: OWL - semantic web standards. https:\/\/www.w3.org\/OWL. Accessed 28 Apr 2023"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40953-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:04:27Z","timestamp":1694624667000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40953-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031409523","9783031409530"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40953-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"42","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2023.cnrs.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5.7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"For the workshops, 35 out of 49 papers have been accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}