{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:K7FWGTDDCSHTMFAVGEP24WHBFF","short_pith_number":"pith:K7FWGTDD","schema_version":"1.0","canonical_sha256":"57cb634c63148f361415311fae58e12957c3a05aaa7e556fcde2d681f48a9ec2","source":{"kind":"arxiv","id":"2403.15236","version":2},"attestation_state":"computed","paper":{"title":"ACCESS: Assurance Case Centric Engineering of Safety-critical Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Colin O'Halloran, Fang Yan, Haitao Mei, Ibrahim Habli, Nick Tudor, Ran Wei, Ruizhe Yang, Simon Foster, Tim Kelly, Yakoub Nemouchi","submitted_at":"2024-03-22T14:29:50Z","abstract_excerpt":"Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through lengthy and complicated processes. In recent years, model-based system assurance approaches have gained popularity to improve the efficiency and quality of system assurance activities. This becomes increasingly important, as systems becomes more complex, it is a challenge to manage their development life-cycles, including coordination of development, verific"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2403.15236","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-03-22T14:29:50Z","cross_cats_sorted":[],"title_canon_sha256":"576bbfff3b39bc3713a8c35ffa363c20768f7eacd10d8a41559ed286e9352226","abstract_canon_sha256":"1b050e8592cae7126621179a9796a135a79b0aa34dc6a8453123a4128c6da50f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:28.057070Z","signature_b64":"BjbW5F3XvGFMwtlLAqGC1ua9wmS/EgN3bGotPnGHNH7woRjJ24ZFTIK61fHolJpPHNqw/We5EGvyjhll9MspCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"57cb634c63148f361415311fae58e12957c3a05aaa7e556fcde2d681f48a9ec2","last_reissued_at":"2026-06-19T16:10:28.056556Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:28.056556Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ACCESS: Assurance Case Centric Engineering of Safety-critical Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Colin O'Halloran, Fang Yan, Haitao Mei, Ibrahim Habli, Nick Tudor, Ran Wei, Ruizhe Yang, Simon Foster, Tim Kelly, Yakoub Nemouchi","submitted_at":"2024-03-22T14:29:50Z","abstract_excerpt":"Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through lengthy and complicated processes. In recent years, model-based system assurance approaches have gained popularity to improve the efficiency and quality of system assurance activities. This becomes increasingly important, as systems becomes more complex, it is a challenge to manage their development life-cycles, including coordination of development, verific"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.15236","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2403.15236/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2403.15236","created_at":"2026-06-19T16:10:28.056620+00:00"},{"alias_kind":"arxiv_version","alias_value":"2403.15236v2","created_at":"2026-06-19T16:10:28.056620+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.15236","created_at":"2026-06-19T16:10:28.056620+00:00"},{"alias_kind":"pith_short_12","alias_value":"K7FWGTDDCSHT","created_at":"2026-06-19T16:10:28.056620+00:00"},{"alias_kind":"pith_short_16","alias_value":"K7FWGTDDCSHTMFAV","created_at":"2026-06-19T16:10:28.056620+00:00"},{"alias_kind":"pith_short_8","alias_value":"K7FWGTDD","created_at":"2026-06-19T16:10:28.056620+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF","json":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF.json","graph_json":"https://pith.science/api/pith-number/K7FWGTDDCSHTMFAVGEP24WHBFF/graph.json","events_json":"https://pith.science/api/pith-number/K7FWGTDDCSHTMFAVGEP24WHBFF/events.json","paper":"https://pith.science/paper/K7FWGTDD"},"agent_actions":{"view_html":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF","download_json":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF.json","view_paper":"https://pith.science/paper/K7FWGTDD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2403.15236&json=true","fetch_graph":"https://pith.science/api/pith-number/K7FWGTDDCSHTMFAVGEP24WHBFF/graph.json","fetch_events":"https://pith.science/api/pith-number/K7FWGTDDCSHTMFAVGEP24WHBFF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF/action/storage_attestation","attest_author":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF/action/author_attestation","sign_citation":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF/action/citation_signature","submit_replication":"https://pith.science/pith/K7FWGTDDCSHTMFAVGEP24WHBFF/action/replication_record"}},"created_at":"2026-06-19T16:10:28.056620+00:00","updated_at":"2026-06-19T16:10:28.056620+00:00"}