{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:G524MXFWEPZO4JCCCJ4GZBIDIA","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":"7dbe64eed02d3a371688b5c7862af11494d5fd31e85f78fd048cb70388d7165a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-01-12T22:06:25Z","title_canon_sha256":"15fa29ca79aed62cf801bb59e4a0d7a0cf35ae8b5e0f3cb200f04e972ddd7070"},"schema_version":"1.0","source":{"id":"1701.03519","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.03519","created_at":"2026-05-18T00:52:54Z"},{"alias_kind":"arxiv_version","alias_value":"1701.03519v1","created_at":"2026-05-18T00:52:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.03519","created_at":"2026-05-18T00:52:54Z"},{"alias_kind":"pith_short_12","alias_value":"G524MXFWEPZO","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"G524MXFWEPZO4JCC","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"G524MXFW","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:e91382e81476f639d98ff02db0cf8aafccb921b61f4a096cc6138b02cbe939f7","target":"graph","created_at":"2026-05-18T00:52:54Z","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":"Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictabili","authors_text":"Guillermo Rodriguez-Navas, Guy Avni, Shubham Goel, Thomas A. Henzinger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-01-12T22:06:25Z","title":"Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.03519","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:23f7da33cbeaee0644c1a5b8a0c2ee40d7c56b817e30b80a4a28595eb0f760f9","target":"record","created_at":"2026-05-18T00:52:54Z","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":"7dbe64eed02d3a371688b5c7862af11494d5fd31e85f78fd048cb70388d7165a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-01-12T22:06:25Z","title_canon_sha256":"15fa29ca79aed62cf801bb59e4a0d7a0cf35ae8b5e0f3cb200f04e972ddd7070"},"schema_version":"1.0","source":{"id":"1701.03519","kind":"arxiv","version":1}},"canonical_sha256":"3775c65cb623f2ee244212786c850340239e1d4f677e3038b75e3cac41aedfc0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3775c65cb623f2ee244212786c850340239e1d4f677e3038b75e3cac41aedfc0","first_computed_at":"2026-05-18T00:52:54.607025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:54.607025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3EsJTQpezLzH71f9oaHPkeqRUHrWKDZmxeKxNOjPg7dfm7Ev0Wl+3EfR3NXjfDBHbPQfrPs3Fkx5osJHEuwYBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:54.607480Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.03519","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23f7da33cbeaee0644c1a5b8a0c2ee40d7c56b817e30b80a4a28595eb0f760f9","sha256:e91382e81476f639d98ff02db0cf8aafccb921b61f4a096cc6138b02cbe939f7"],"state_sha256":"645ec5bb62194f9259f2a7872aad6d949d395900612f314203e81089396f2fef"}