{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:KW4BNKTVEL7NBOM4CNRW7TKOLU","short_pith_number":"pith:KW4BNKTV","canonical_record":{"source":{"id":"2106.03368","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-07T06:45:37Z","cross_cats_sorted":[],"title_canon_sha256":"3ca972a543c7897fd52763b9babef10ee757768ca197ec378db1c48f71ca394e","abstract_canon_sha256":"813a06eb5ee4a3b222bb674b156cd30fb2727647df4ba6987f966a6ace28c964"},"schema_version":"1.0"},"canonical_sha256":"55b816aa7522fed0b99c13636fcd4e5d2b4efd7e28a726cc53ce1dc61ec6c722","source":{"kind":"arxiv","id":"2106.03368","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.03368","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"arxiv_version","alias_value":"2106.03368v1","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.03368","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"pith_short_12","alias_value":"KW4BNKTVEL7N","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"pith_short_16","alias_value":"KW4BNKTVEL7NBOM4","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"pith_short_8","alias_value":"KW4BNKTV","created_at":"2026-07-05T02:46:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:KW4BNKTVEL7NBOM4CNRW7TKOLU","target":"record","payload":{"canonical_record":{"source":{"id":"2106.03368","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-07T06:45:37Z","cross_cats_sorted":[],"title_canon_sha256":"3ca972a543c7897fd52763b9babef10ee757768ca197ec378db1c48f71ca394e","abstract_canon_sha256":"813a06eb5ee4a3b222bb674b156cd30fb2727647df4ba6987f966a6ace28c964"},"schema_version":"1.0"},"canonical_sha256":"55b816aa7522fed0b99c13636fcd4e5d2b4efd7e28a726cc53ce1dc61ec6c722","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:46:48.922826Z","signature_b64":"dfKpEvq0L2Jg8KohGZHh0vHZG3PORynmWh3H1TPHw0Am6lJD4LT7pJvIMSNz18T+QaBjUzq7hvrkTy7XkfeLCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"55b816aa7522fed0b99c13636fcd4e5d2b4efd7e28a726cc53ce1dc61ec6c722","last_reissued_at":"2026-07-05T02:46:48.922483Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:46:48.922483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.03368","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-07-05T02:46:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nNpyu2DZa5XAtCsTBMLzFWloBXyL14Lcb/Laee+7MDKfoMHWjNkFHfGAe+SbIApMLcRCqwnU58/zhzAdtrskDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T11:14:06.709252Z"},"content_sha256":"e40555e669f267ad12f1b7b8b922a0b8e8b6b946cf02ed72b8d38b433a68059a","schema_version":"1.0","event_id":"sha256:e40555e669f267ad12f1b7b8b922a0b8e8b6b946cf02ed72b8d38b433a68059a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:KW4BNKTVEL7NBOM4CNRW7TKOLU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verification of Component Fault Trees Using Error Effect Simulations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Viehl, Kai Hoefig, Marc Zeller, Oliver Bringmann, Sebastian Reiter, Wolfgang Rosenstiel","submitted_at":"2021-06-07T06:45:37Z","abstract_excerpt":"The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable efficient safety assessment of complex architectures, we present an approach, which combines deductive safety analyses, in form of Component Fault Trees (CFTs), with an Error Effect Simulation (EES) for sanity checks. The combination reduces the drawbacks of both analyses, such as the subjective failure propagation assumptions in the CFTs or the determinati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.03368","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2106.03368/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"},"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-07-05T02:46:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QVcqcHfsNWlUxM/1HezZ39xu1nBEW0Lju0znOFYhuZozfbGI9eMxmvS83boGYKcP53sPbtuQv1UmjuAHKkr5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T11:14:06.709845Z"},"content_sha256":"cd70575acbd67f080eaf2e812a38296e9dc652d57364bed2845dbbb2b0cab4c9","schema_version":"1.0","event_id":"sha256:cd70575acbd67f080eaf2e812a38296e9dc652d57364bed2845dbbb2b0cab4c9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU/bundle.json","state_url":"https://pith.science/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU/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-07-05T11:14:06Z","links":{"resolver":"https://pith.science/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU","bundle":"https://pith.science/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU/bundle.json","state":"https://pith.science/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KW4BNKTVEL7NBOM4CNRW7TKOLU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:KW4BNKTVEL7NBOM4CNRW7TKOLU","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":"813a06eb5ee4a3b222bb674b156cd30fb2727647df4ba6987f966a6ace28c964","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-07T06:45:37Z","title_canon_sha256":"3ca972a543c7897fd52763b9babef10ee757768ca197ec378db1c48f71ca394e"},"schema_version":"1.0","source":{"id":"2106.03368","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.03368","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"arxiv_version","alias_value":"2106.03368v1","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.03368","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"pith_short_12","alias_value":"KW4BNKTVEL7N","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"pith_short_16","alias_value":"KW4BNKTVEL7NBOM4","created_at":"2026-07-05T02:46:48Z"},{"alias_kind":"pith_short_8","alias_value":"KW4BNKTV","created_at":"2026-07-05T02:46:48Z"}],"graph_snapshots":[{"event_id":"sha256:cd70575acbd67f080eaf2e812a38296e9dc652d57364bed2845dbbb2b0cab4c9","target":"graph","created_at":"2026-07-05T02:46:48Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2106.03368/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable efficient safety assessment of complex architectures, we present an approach, which combines deductive safety analyses, in form of Component Fault Trees (CFTs), with an Error Effect Simulation (EES) for sanity checks. The combination reduces the drawbacks of both analyses, such as the subjective failure propagation assumptions in the CFTs or the determinati","authors_text":"Alexander Viehl, Kai Hoefig, Marc Zeller, Oliver Bringmann, Sebastian Reiter, Wolfgang Rosenstiel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-07T06:45:37Z","title":"Verification of Component Fault Trees Using Error Effect Simulations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.03368","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:e40555e669f267ad12f1b7b8b922a0b8e8b6b946cf02ed72b8d38b433a68059a","target":"record","created_at":"2026-07-05T02:46:48Z","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":"813a06eb5ee4a3b222bb674b156cd30fb2727647df4ba6987f966a6ace28c964","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-06-07T06:45:37Z","title_canon_sha256":"3ca972a543c7897fd52763b9babef10ee757768ca197ec378db1c48f71ca394e"},"schema_version":"1.0","source":{"id":"2106.03368","kind":"arxiv","version":1}},"canonical_sha256":"55b816aa7522fed0b99c13636fcd4e5d2b4efd7e28a726cc53ce1dc61ec6c722","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"55b816aa7522fed0b99c13636fcd4e5d2b4efd7e28a726cc53ce1dc61ec6c722","first_computed_at":"2026-07-05T02:46:48.922483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:46:48.922483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dfKpEvq0L2Jg8KohGZHh0vHZG3PORynmWh3H1TPHw0Am6lJD4LT7pJvIMSNz18T+QaBjUzq7hvrkTy7XkfeLCA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:46:48.922826Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.03368","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e40555e669f267ad12f1b7b8b922a0b8e8b6b946cf02ed72b8d38b433a68059a","sha256:cd70575acbd67f080eaf2e812a38296e9dc652d57364bed2845dbbb2b0cab4c9"],"state_sha256":"5a2038d9438982bde451a4f7787903975afb76781e58cab3e67a1ab300afa513"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZEx4zeSoGbMu+poThf7OlomLRbwPQKHXoft5ynKYMuOpUPVSpgCBSY3nn708jR9OOOiVUv8mW40CT01npHQBCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T11:14:06.712575Z","bundle_sha256":"cf51b4dfebe9c5f99c981558bb08241fa1aba0bb2c1368961033b80d1e82bd87"}}