{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:SD7RDFZWMAQ35BTBE4GHP52Q35","short_pith_number":"pith:SD7RDFZW","schema_version":"1.0","canonical_sha256":"90ff1197366021be8661270c77f750df72f4d959f863b8dd6ee7b8810bcfa0cc","source":{"kind":"arxiv","id":"2407.13948","version":3},"attestation_state":"computed","paper":{"title":"Assurance of AI Systems From a Dependability Perspective","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"John Rushby, Robin Bloomfield","submitted_at":"2024-07-18T23:55:43Z","abstract_excerpt":"We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML).\n  A key element in this \"dependability\" perspective is a requirement for thorough understanding of the behavior of critical components, and this is considered infeasible for AI and ML. Hence the dependability perspective aims to minimize trust in AI and ML elements by using \"defense in depth\" with a hierarchy of less complex systems, some of which may be highly ass"},"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":"2407.13948","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-07-18T23:55:43Z","cross_cats_sorted":[],"title_canon_sha256":"5ad0bc5cde1af1b0be229289cd281d4f9cdf26495c9ff25981e75bdda3f2f45c","abstract_canon_sha256":"80ab9aabed8156e9c557902d35da1c68901b6e5ef8d2deb5b37b9f4be1889a19"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:14:24.033264Z","signature_b64":"8wgauqii8dvF7+b4iRY6e71HzWN6QzxUQlAcoL7XHUDX9S2uz0GQxKrdE6G36xe4XIH5cqw5V8pDNcxT0dvNBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90ff1197366021be8661270c77f750df72f4d959f863b8dd6ee7b8810bcfa0cc","last_reissued_at":"2026-07-05T11:14:24.032824Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:14:24.032824Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Assurance of AI Systems From a Dependability Perspective","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"John Rushby, Robin Bloomfield","submitted_at":"2024-07-18T23:55:43Z","abstract_excerpt":"We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML).\n  A key element in this \"dependability\" perspective is a requirement for thorough understanding of the behavior of critical components, and this is considered infeasible for AI and ML. Hence the dependability perspective aims to minimize trust in AI and ML elements by using \"defense in depth\" with a hierarchy of less complex systems, some of which may be highly ass"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.13948","kind":"arxiv","version":3},"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/2407.13948/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":"2407.13948","created_at":"2026-07-05T11:14:24.032882+00:00"},{"alias_kind":"arxiv_version","alias_value":"2407.13948v3","created_at":"2026-07-05T11:14:24.032882+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.13948","created_at":"2026-07-05T11:14:24.032882+00:00"},{"alias_kind":"pith_short_12","alias_value":"SD7RDFZWMAQ3","created_at":"2026-07-05T11:14:24.032882+00:00"},{"alias_kind":"pith_short_16","alias_value":"SD7RDFZWMAQ35BTB","created_at":"2026-07-05T11:14:24.032882+00:00"},{"alias_kind":"pith_short_8","alias_value":"SD7RDFZW","created_at":"2026-07-05T11:14:24.032882+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.21276","citing_title":"CEDAR-42001: From ISO/IEC 42001 Conformity to Architecture-Aware, Audit-Visible Assurance Posture for AI Cyber-Physical Systems","ref_index":1,"is_internal_anchor":false},{"citing_arxiv_id":"2605.13069","citing_title":"Not All Anquan Is the Same: A Terminological Proposal for Chinese Computer Science and Engineering","ref_index":53,"is_internal_anchor":false},{"citing_arxiv_id":"2605.13069","citing_title":"Not All Anquan Is the Same: A Terminological Proposal for Chinese Computer Science and Engineering","ref_index":53,"is_internal_anchor":false},{"citing_arxiv_id":"2604.05662","citing_title":"Understanding: reframing automation and assurance","ref_index":11,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35","json":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35.json","graph_json":"https://pith.science/api/pith-number/SD7RDFZWMAQ35BTBE4GHP52Q35/graph.json","events_json":"https://pith.science/api/pith-number/SD7RDFZWMAQ35BTBE4GHP52Q35/events.json","paper":"https://pith.science/paper/SD7RDFZW"},"agent_actions":{"view_html":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35","download_json":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35.json","view_paper":"https://pith.science/paper/SD7RDFZW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2407.13948&json=true","fetch_graph":"https://pith.science/api/pith-number/SD7RDFZWMAQ35BTBE4GHP52Q35/graph.json","fetch_events":"https://pith.science/api/pith-number/SD7RDFZWMAQ35BTBE4GHP52Q35/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35/action/storage_attestation","attest_author":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35/action/author_attestation","sign_citation":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35/action/citation_signature","submit_replication":"https://pith.science/pith/SD7RDFZWMAQ35BTBE4GHP52Q35/action/replication_record"}},"created_at":"2026-07-05T11:14:24.032882+00:00","updated_at":"2026-07-05T11:14:24.032882+00:00"}