{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:OT42K5YATTM5TZDAR4PQ5T2M7K","short_pith_number":"pith:OT42K5YA","canonical_record":{"source":{"id":"1902.05537","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-14T18:34:54Z","cross_cats_sorted":[],"title_canon_sha256":"6c5024411e0fbe1928656721a4036206eb7bdfaa5a021bb54cf2addbfe37ea83","abstract_canon_sha256":"f14307af234faab801cd4319e41b74afbba334553b97d4b6c8a97b6830898488"},"schema_version":"1.0"},"canonical_sha256":"74f9a577009cd9d9e4608f1f0ecf4cfabcfff10095e1a49e8961ad6dd32f416c","source":{"kind":"arxiv","id":"1902.05537","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.05537","created_at":"2026-05-17T23:53:58Z"},{"alias_kind":"arxiv_version","alias_value":"1902.05537v1","created_at":"2026-05-17T23:53:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.05537","created_at":"2026-05-17T23:53:58Z"},{"alias_kind":"pith_short_12","alias_value":"OT42K5YATTM5","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"OT42K5YATTM5TZDA","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"OT42K5YA","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:OT42K5YATTM5TZDAR4PQ5T2M7K","target":"record","payload":{"canonical_record":{"source":{"id":"1902.05537","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-14T18:34:54Z","cross_cats_sorted":[],"title_canon_sha256":"6c5024411e0fbe1928656721a4036206eb7bdfaa5a021bb54cf2addbfe37ea83","abstract_canon_sha256":"f14307af234faab801cd4319e41b74afbba334553b97d4b6c8a97b6830898488"},"schema_version":"1.0"},"canonical_sha256":"74f9a577009cd9d9e4608f1f0ecf4cfabcfff10095e1a49e8961ad6dd32f416c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:58.421108Z","signature_b64":"DEnIpbcJY/ndvDOBUnWuL0TEFGOaIYi8Z9qbFNzUhpYMaz2eFGvoqXx19JoOymh9C0c9Fxc7hVbyB1k00rqaBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"74f9a577009cd9d9e4608f1f0ecf4cfabcfff10095e1a49e8961ad6dd32f416c","last_reissued_at":"2026-05-17T23:53:58.420261Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:58.420261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.05537","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:53:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L6RW1VFVCxoYKzTLjBiAwQ0v2SWfe1sks2HeNgCPRKDEnOP7qDrVMQhHMPk2gdj3h4D6uj71IT56wm733CkXBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:59:37.780181Z"},"content_sha256":"dab59478ae8992264ab5f7772dc5c07bc4c3eb24f63b03de135c0559d8a2eca5","schema_version":"1.0","event_id":"sha256:dab59478ae8992264ab5f7772dc5c07bc4c3eb24f63b03de135c0559d8a2eca5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:OT42K5YATTM5TZDAR4PQ5T2M7K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Assurance of System Safety: A Survey of Design and Argument Patterns","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Mario Gleirscher, Stefan Kugele","submitted_at":"2019-02-14T18:34:54Z","abstract_excerpt":"The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two decades and on the state-of-the-art of patterns in safety-critical system design and assurance argumentation. We investigate several aspects of such patterns, for example, where and when they are applied, their characteristics and purposes, and how they are related. For each aspect, we provide an overview of relevant studies and synthesize a taxonomy of first pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.05537","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:53:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fiQPO5L6GmbW8vsWwj877vOx3k1uwUyo//0o9gBbRhLEPlqSnWYOGdiIdBp4GYE03YMrVyZFg63JliqOAKwdDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T16:59:37.780820Z"},"content_sha256":"1aee532106c64d758e5ded80a50f3ffa999acfeae70b538cb92b9fd7f18c28f2","schema_version":"1.0","event_id":"sha256:1aee532106c64d758e5ded80a50f3ffa999acfeae70b538cb92b9fd7f18c28f2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OT42K5YATTM5TZDAR4PQ5T2M7K/bundle.json","state_url":"https://pith.science/pith/OT42K5YATTM5TZDAR4PQ5T2M7K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OT42K5YATTM5TZDAR4PQ5T2M7K/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-06T16:59:37Z","links":{"resolver":"https://pith.science/pith/OT42K5YATTM5TZDAR4PQ5T2M7K","bundle":"https://pith.science/pith/OT42K5YATTM5TZDAR4PQ5T2M7K/bundle.json","state":"https://pith.science/pith/OT42K5YATTM5TZDAR4PQ5T2M7K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OT42K5YATTM5TZDAR4PQ5T2M7K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:OT42K5YATTM5TZDAR4PQ5T2M7K","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f14307af234faab801cd4319e41b74afbba334553b97d4b6c8a97b6830898488","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-14T18:34:54Z","title_canon_sha256":"6c5024411e0fbe1928656721a4036206eb7bdfaa5a021bb54cf2addbfe37ea83"},"schema_version":"1.0","source":{"id":"1902.05537","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.05537","created_at":"2026-05-17T23:53:58Z"},{"alias_kind":"arxiv_version","alias_value":"1902.05537v1","created_at":"2026-05-17T23:53:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.05537","created_at":"2026-05-17T23:53:58Z"},{"alias_kind":"pith_short_12","alias_value":"OT42K5YATTM5","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"OT42K5YATTM5TZDA","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"OT42K5YA","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:1aee532106c64d758e5ded80a50f3ffa999acfeae70b538cb92b9fd7f18c28f2","target":"graph","created_at":"2026-05-17T23:53:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two decades and on the state-of-the-art of patterns in safety-critical system design and assurance argumentation. We investigate several aspects of such patterns, for example, where and when they are applied, their characteristics and purposes, and how they are related. For each aspect, we provide an overview of relevant studies and synthesize a taxonomy of first pr","authors_text":"Mario Gleirscher, Stefan Kugele","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-14T18:34:54Z","title":"Assurance of System Safety: A Survey of Design and Argument Patterns"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.05537","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:dab59478ae8992264ab5f7772dc5c07bc4c3eb24f63b03de135c0559d8a2eca5","target":"record","created_at":"2026-05-17T23:53:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f14307af234faab801cd4319e41b74afbba334553b97d4b6c8a97b6830898488","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-02-14T18:34:54Z","title_canon_sha256":"6c5024411e0fbe1928656721a4036206eb7bdfaa5a021bb54cf2addbfe37ea83"},"schema_version":"1.0","source":{"id":"1902.05537","kind":"arxiv","version":1}},"canonical_sha256":"74f9a577009cd9d9e4608f1f0ecf4cfabcfff10095e1a49e8961ad6dd32f416c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"74f9a577009cd9d9e4608f1f0ecf4cfabcfff10095e1a49e8961ad6dd32f416c","first_computed_at":"2026-05-17T23:53:58.420261Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:58.420261Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DEnIpbcJY/ndvDOBUnWuL0TEFGOaIYi8Z9qbFNzUhpYMaz2eFGvoqXx19JoOymh9C0c9Fxc7hVbyB1k00rqaBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:58.421108Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.05537","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dab59478ae8992264ab5f7772dc5c07bc4c3eb24f63b03de135c0559d8a2eca5","sha256:1aee532106c64d758e5ded80a50f3ffa999acfeae70b538cb92b9fd7f18c28f2"],"state_sha256":"e0b42b7205962d4fc148977736ec20f9c3ef8312fe2de2eac812e5c72f74dedd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u5znmJk3aO3Q1j+vhQR19ui0oEYE/e+g3jxOj1UWvQFsvQ5T7/tqldGgdU8yRLIrSKb4rcyOUIA7shG++iBGBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T16:59:37.784976Z","bundle_sha256":"dd04d03ad2891628cccb5033d697ea46763bf5fd266c4d6b3d58751a4a50973f"}}