{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:S5TIZEI2QESLK2XQXYWU3HDXHD","short_pith_number":"pith:S5TIZEI2","schema_version":"1.0","canonical_sha256":"97668c911a8124b56af0be2d4d9c7738d24edb6bc5fa9e868d04d1d4ca35ff79","source":{"kind":"arxiv","id":"1407.6062","version":1},"attestation_state":"computed","paper":{"title":"SMaRtLight: A Practical Fault-Tolerant SDN Controller","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Alysson Bessani, F\\'abio Botelho, Fernando M. V. Ramos, Paulo Ferreira","submitted_at":"2014-07-22T22:45:43Z","abstract_excerpt":"The increase in the number of SDN-based deployments in production networks is triggering the need to consider fault-tolerant designs of controller architectures. Commercial SDN controller solutions incorporate fault tolerance, but there has been little discussion in the SDN literature on the design of such systems and the tradeoffs involved. To fill this gap, we present a by-construction design of a fault-tolerant controller, and materialize it by proposing and formalizing a practical architecture for small to medium-sized scale networks. A central component of our particular design is a repli"},"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":"1407.6062","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NI","submitted_at":"2014-07-22T22:45:43Z","cross_cats_sorted":[],"title_canon_sha256":"0a1db793881fbd2d6774b6213191c104f3dcd41b14e4f86243c8b1707959045b","abstract_canon_sha256":"1e1d04eb403f90d9fb8a2fb4f62c9218b258038a09af4f3bf9837d51d5d1240d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:46:59.174090Z","signature_b64":"DJ3nuucwW7Y4yn/fisjXIEYecyDdAXwpg09PcOY5rLalhTL4p4Fo1cSg++nWuIFO41f9mz3lBfhgchZNiEcICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97668c911a8124b56af0be2d4d9c7738d24edb6bc5fa9e868d04d1d4ca35ff79","last_reissued_at":"2026-05-18T02:46:59.173538Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:46:59.173538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SMaRtLight: A Practical Fault-Tolerant SDN Controller","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NI","authors_text":"Alysson Bessani, F\\'abio Botelho, Fernando M. V. Ramos, Paulo Ferreira","submitted_at":"2014-07-22T22:45:43Z","abstract_excerpt":"The increase in the number of SDN-based deployments in production networks is triggering the need to consider fault-tolerant designs of controller architectures. Commercial SDN controller solutions incorporate fault tolerance, but there has been little discussion in the SDN literature on the design of such systems and the tradeoffs involved. To fill this gap, we present a by-construction design of a fault-tolerant controller, and materialize it by proposing and formalizing a practical architecture for small to medium-sized scale networks. A central component of our particular design is a repli"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.6062","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1407.6062","created_at":"2026-05-18T02:46:59.173610+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.6062v1","created_at":"2026-05-18T02:46:59.173610+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.6062","created_at":"2026-05-18T02:46:59.173610+00:00"},{"alias_kind":"pith_short_12","alias_value":"S5TIZEI2QESL","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_16","alias_value":"S5TIZEI2QESLK2XQ","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_8","alias_value":"S5TIZEI2","created_at":"2026-05-18T12:28:49.207871+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD","json":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD.json","graph_json":"https://pith.science/api/pith-number/S5TIZEI2QESLK2XQXYWU3HDXHD/graph.json","events_json":"https://pith.science/api/pith-number/S5TIZEI2QESLK2XQXYWU3HDXHD/events.json","paper":"https://pith.science/paper/S5TIZEI2"},"agent_actions":{"view_html":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD","download_json":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD.json","view_paper":"https://pith.science/paper/S5TIZEI2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.6062&json=true","fetch_graph":"https://pith.science/api/pith-number/S5TIZEI2QESLK2XQXYWU3HDXHD/graph.json","fetch_events":"https://pith.science/api/pith-number/S5TIZEI2QESLK2XQXYWU3HDXHD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD/action/storage_attestation","attest_author":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD/action/author_attestation","sign_citation":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD/action/citation_signature","submit_replication":"https://pith.science/pith/S5TIZEI2QESLK2XQXYWU3HDXHD/action/replication_record"}},"created_at":"2026-05-18T02:46:59.173610+00:00","updated_at":"2026-05-18T02:46:59.173610+00:00"}