{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:6XDUHXEZZKKKAHWADSWEFOGX6P","short_pith_number":"pith:6XDUHXEZ","canonical_record":{"source":{"id":"1404.7775","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-30T16:05:51Z","cross_cats_sorted":[],"title_canon_sha256":"38a0f3da3abde37a38caa2d8bc7640bcfeb449f5b58ea24653afb4a01eabe3e0","abstract_canon_sha256":"5771293ba4b2ec3a3386e4367a2be2a177e3f1791c7b4c42f26a22e0beca5424"},"schema_version":"1.0"},"canonical_sha256":"f5c743dc99ca94a01ec01cac42b8d7f3e44b263f6141d97d652b25aa5e40323a","source":{"kind":"arxiv","id":"1404.7775","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.7775","created_at":"2026-05-18T02:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"1404.7775v4","created_at":"2026-05-18T02:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.7775","created_at":"2026-05-18T02:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"6XDUHXEZZKKK","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6XDUHXEZZKKKAHWA","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6XDUHXEZ","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:6XDUHXEZZKKKAHWADSWEFOGX6P","target":"record","payload":{"canonical_record":{"source":{"id":"1404.7775","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-30T16:05:51Z","cross_cats_sorted":[],"title_canon_sha256":"38a0f3da3abde37a38caa2d8bc7640bcfeb449f5b58ea24653afb4a01eabe3e0","abstract_canon_sha256":"5771293ba4b2ec3a3386e4367a2be2a177e3f1791c7b4c42f26a22e0beca5424"},"schema_version":"1.0"},"canonical_sha256":"f5c743dc99ca94a01ec01cac42b8d7f3e44b263f6141d97d652b25aa5e40323a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:56.042305Z","signature_b64":"/OMi5r/YumonY3KoftFATUz2Vx4DXTO1OqgcoN9NX0IejamqxuyS6ewivLgn3UFoCtRBYfJYdsJZTUEJ+l27CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f5c743dc99ca94a01ec01cac42b8d7f3e44b263f6141d97d652b25aa5e40323a","last_reissued_at":"2026-05-18T02:40:56.041819Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:56.041819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.7775","source_version":4,"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-18T02:40:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ofu/VxBwuvakiEFwBmXdfj/9uXVtox/q2WI0w9zKWuHfBZuEPdc2sPWhQCo9CSdXxDkAEcgrB1iKGdcXLx+JDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T13:55:22.807452Z"},"content_sha256":"d61a84193fc1fe31bd9ed9e48cd1ff6bcecf87907c9ba124b5fb3264166b169f","schema_version":"1.0","event_id":"sha256:d61a84193fc1fe31bd9ed9e48cd1ff6bcecf87907c9ba124b5fb3264166b169f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:6XDUHXEZZKKKAHWADSWEFOGX6P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fault Modelling in System-of-Systems Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jeremy Bryans, Klaus Kristensen, Richard Payne, Zoe Andrews","submitted_at":"2014-04-30T16:05:51Z","abstract_excerpt":"The nature of Systems of Systems (SoSs), large complex systems composed of independent, geographically distributed and continuously evolving constituent systems, means that faults are unavoidable. Previous work on defining contractual specifications of the constituent systems of SoSs does not provide any explicit consideration for faults. In this paper we address that gap by extending an existing pattern for modelling contracts with fault modelling concepts. The proposed extensions are introduced with respect to an Audio Visual SoS case study from Bang and Olufsen, before discussing how they r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.7775","kind":"arxiv","version":4},"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-18T02:40:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xz5kQif1Ot+sj3GvT0Mq3kCNr7WOlf3lVKboMjDcIR8JaouOQbPLvSZe76640s04jyZ1EhHu//r7j7VQmHoZBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T13:55:22.807792Z"},"content_sha256":"612f03e7753b716c16ac851b682e2169dc8ab4716610e2e057186f5fe4c8af43","schema_version":"1.0","event_id":"sha256:612f03e7753b716c16ac851b682e2169dc8ab4716610e2e057186f5fe4c8af43"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6XDUHXEZZKKKAHWADSWEFOGX6P/bundle.json","state_url":"https://pith.science/pith/6XDUHXEZZKKKAHWADSWEFOGX6P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6XDUHXEZZKKKAHWADSWEFOGX6P/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-08T13:55:22Z","links":{"resolver":"https://pith.science/pith/6XDUHXEZZKKKAHWADSWEFOGX6P","bundle":"https://pith.science/pith/6XDUHXEZZKKKAHWADSWEFOGX6P/bundle.json","state":"https://pith.science/pith/6XDUHXEZZKKKAHWADSWEFOGX6P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6XDUHXEZZKKKAHWADSWEFOGX6P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6XDUHXEZZKKKAHWADSWEFOGX6P","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":"5771293ba4b2ec3a3386e4367a2be2a177e3f1791c7b4c42f26a22e0beca5424","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-30T16:05:51Z","title_canon_sha256":"38a0f3da3abde37a38caa2d8bc7640bcfeb449f5b58ea24653afb4a01eabe3e0"},"schema_version":"1.0","source":{"id":"1404.7775","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.7775","created_at":"2026-05-18T02:40:56Z"},{"alias_kind":"arxiv_version","alias_value":"1404.7775v4","created_at":"2026-05-18T02:40:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.7775","created_at":"2026-05-18T02:40:56Z"},{"alias_kind":"pith_short_12","alias_value":"6XDUHXEZZKKK","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6XDUHXEZZKKKAHWA","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6XDUHXEZ","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:612f03e7753b716c16ac851b682e2169dc8ab4716610e2e057186f5fe4c8af43","target":"graph","created_at":"2026-05-18T02:40:56Z","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 nature of Systems of Systems (SoSs), large complex systems composed of independent, geographically distributed and continuously evolving constituent systems, means that faults are unavoidable. Previous work on defining contractual specifications of the constituent systems of SoSs does not provide any explicit consideration for faults. In this paper we address that gap by extending an existing pattern for modelling contracts with fault modelling concepts. The proposed extensions are introduced with respect to an Audio Visual SoS case study from Bang and Olufsen, before discussing how they r","authors_text":"Jeremy Bryans, Klaus Kristensen, Richard Payne, Zoe Andrews","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-30T16:05:51Z","title":"Fault Modelling in System-of-Systems Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.7775","kind":"arxiv","version":4},"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:d61a84193fc1fe31bd9ed9e48cd1ff6bcecf87907c9ba124b5fb3264166b169f","target":"record","created_at":"2026-05-18T02:40:56Z","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":"5771293ba4b2ec3a3386e4367a2be2a177e3f1791c7b4c42f26a22e0beca5424","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-04-30T16:05:51Z","title_canon_sha256":"38a0f3da3abde37a38caa2d8bc7640bcfeb449f5b58ea24653afb4a01eabe3e0"},"schema_version":"1.0","source":{"id":"1404.7775","kind":"arxiv","version":4}},"canonical_sha256":"f5c743dc99ca94a01ec01cac42b8d7f3e44b263f6141d97d652b25aa5e40323a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f5c743dc99ca94a01ec01cac42b8d7f3e44b263f6141d97d652b25aa5e40323a","first_computed_at":"2026-05-18T02:40:56.041819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:56.041819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/OMi5r/YumonY3KoftFATUz2Vx4DXTO1OqgcoN9NX0IejamqxuyS6ewivLgn3UFoCtRBYfJYdsJZTUEJ+l27CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:56.042305Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.7775","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d61a84193fc1fe31bd9ed9e48cd1ff6bcecf87907c9ba124b5fb3264166b169f","sha256:612f03e7753b716c16ac851b682e2169dc8ab4716610e2e057186f5fe4c8af43"],"state_sha256":"078ef8d3090eaa7de80262b11e7f40bc289505289c9b3c4c4e9198d93a38e8cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8iVhQmgmWcg1eiQo6Zja2ShSq1WcNfBFisCb/D+wl5jca9BslhcUu4WD82gbzmtRY4CU1rsOOrqtpvuymKQtDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T13:55:22.809598Z","bundle_sha256":"a027847314f7ebd91905cff220ebb672c814cc4a353dcca5272d6d13226a8a8f"}}