{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:MDKL7HDDURXN3LGZ7ANRDSMT7Q","short_pith_number":"pith:MDKL7HDD","canonical_record":{"source":{"id":"2312.13969","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2023-12-21T15:56:02Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"db4d59aeb508d9b4be1d28ec1765ef55ef410f389472c5c3b79efeb6326d30a8","abstract_canon_sha256":"d8f8220e4e050c4b2dd9f31bc0096f3fff02ec0a3d6013a540fe256ef515f4b7"},"schema_version":"1.0"},"canonical_sha256":"60d4bf9c63a46eddacd9f81b11c993fc1840999bfa87779578d20513a3e54d4c","source":{"kind":"arxiv","id":"2312.13969","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.13969","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"arxiv_version","alias_value":"2312.13969v1","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.13969","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"pith_short_12","alias_value":"MDKL7HDDURXN","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"pith_short_16","alias_value":"MDKL7HDDURXN3LGZ","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"pith_short_8","alias_value":"MDKL7HDD","created_at":"2026-07-05T10:03:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:MDKL7HDDURXN3LGZ7ANRDSMT7Q","target":"record","payload":{"canonical_record":{"source":{"id":"2312.13969","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2023-12-21T15:56:02Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"db4d59aeb508d9b4be1d28ec1765ef55ef410f389472c5c3b79efeb6326d30a8","abstract_canon_sha256":"d8f8220e4e050c4b2dd9f31bc0096f3fff02ec0a3d6013a540fe256ef515f4b7"},"schema_version":"1.0"},"canonical_sha256":"60d4bf9c63a46eddacd9f81b11c993fc1840999bfa87779578d20513a3e54d4c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:03:40.706798Z","signature_b64":"XJ07yxgVft0QOs3tJbweb9O/z/hn7YHE/lBZ6ClLhFqfeih4/vQ3OS2S8JWd8JHu/aPw2OlREPlH4n04ZUB4CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"60d4bf9c63a46eddacd9f81b11c993fc1840999bfa87779578d20513a3e54d4c","last_reissued_at":"2026-07-05T10:03:40.706238Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:03:40.706238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.13969","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-05T10:03:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zqa8ORpuvLrwbR0UFOdqqpam/DtP3JYMGYTevz/p6QOtfNADnxHSQtl/wt1fGast/al+LOGkZdVgoOagFY37AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:44:37.609391Z"},"content_sha256":"50fdcbf78f6e14ea63b233ad0a4c985cb1ae23a6c9931f71cf4ddd819a8b1541","schema_version":"1.0","event_id":"sha256:50fdcbf78f6e14ea63b233ad0a4c985cb1ae23a6c9931f71cf4ddd819a8b1541"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:MDKL7HDDURXN3LGZ7ANRDSMT7Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.NI","authors_text":"Javier Villegas, Jos\\'e Pulido, Pablo Vera-Soto, Rafael Ortiz, Raquel Barco, Sergio Fortes, Vicente Esca\\~no","submitted_at":"2023-12-21T15:56:02Z","abstract_excerpt":"Aircraft are composed of many electronic systems: sensors, displays, navigation equipment and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks as high reliability and predictability requirements must be verified for safe operation. In addition, their verification via hardware deployments is limited because these are costly and make difficult to try different architectures and configurations, thus delaying the design and development in this area. Therefore, verification at early stages in the design process is of gr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.13969","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/2312.13969/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-05T10:03:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yeuDsZ0I720a7PMOIsVk0zfrClBF/Bfem7ai/AbunOA68CNE8UDsrPDHqarzo8UNmCsT9d3v3CkiBqzTEr7SAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:44:37.609779Z"},"content_sha256":"890b93966a05a28bfb0f735e04d01de5658faf62a6730c67e50868cf28bc3050","schema_version":"1.0","event_id":"sha256:890b93966a05a28bfb0f735e04d01de5658faf62a6730c67e50868cf28bc3050"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q/bundle.json","state_url":"https://pith.science/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q/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-06T17:44:37Z","links":{"resolver":"https://pith.science/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q","bundle":"https://pith.science/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q/bundle.json","state":"https://pith.science/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MDKL7HDDURXN3LGZ7ANRDSMT7Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:MDKL7HDDURXN3LGZ7ANRDSMT7Q","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":"d8f8220e4e050c4b2dd9f31bc0096f3fff02ec0a3d6013a540fe256ef515f4b7","cross_cats_sorted":["cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2023-12-21T15:56:02Z","title_canon_sha256":"db4d59aeb508d9b4be1d28ec1765ef55ef410f389472c5c3b79efeb6326d30a8"},"schema_version":"1.0","source":{"id":"2312.13969","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.13969","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"arxiv_version","alias_value":"2312.13969v1","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.13969","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"pith_short_12","alias_value":"MDKL7HDDURXN","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"pith_short_16","alias_value":"MDKL7HDDURXN3LGZ","created_at":"2026-07-05T10:03:40Z"},{"alias_kind":"pith_short_8","alias_value":"MDKL7HDD","created_at":"2026-07-05T10:03:40Z"}],"graph_snapshots":[{"event_id":"sha256:890b93966a05a28bfb0f735e04d01de5658faf62a6730c67e50868cf28bc3050","target":"graph","created_at":"2026-07-05T10:03:40Z","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/2312.13969/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Aircraft are composed of many electronic systems: sensors, displays, navigation equipment and communication elements. These elements require a reliable interconnection, which is a major challenge for communication networks as high reliability and predictability requirements must be verified for safe operation. In addition, their verification via hardware deployments is limited because these are costly and make difficult to try different architectures and configurations, thus delaying the design and development in this area. Therefore, verification at early stages in the design process is of gr","authors_text":"Javier Villegas, Jos\\'e Pulido, Pablo Vera-Soto, Rafael Ortiz, Raquel Barco, Sergio Fortes, Vicente Esca\\~no","cross_cats":["cs.PF"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2023-12-21T15:56:02Z","title":"An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.13969","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:50fdcbf78f6e14ea63b233ad0a4c985cb1ae23a6c9931f71cf4ddd819a8b1541","target":"record","created_at":"2026-07-05T10:03:40Z","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":"d8f8220e4e050c4b2dd9f31bc0096f3fff02ec0a3d6013a540fe256ef515f4b7","cross_cats_sorted":["cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.NI","submitted_at":"2023-12-21T15:56:02Z","title_canon_sha256":"db4d59aeb508d9b4be1d28ec1765ef55ef410f389472c5c3b79efeb6326d30a8"},"schema_version":"1.0","source":{"id":"2312.13969","kind":"arxiv","version":1}},"canonical_sha256":"60d4bf9c63a46eddacd9f81b11c993fc1840999bfa87779578d20513a3e54d4c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60d4bf9c63a46eddacd9f81b11c993fc1840999bfa87779578d20513a3e54d4c","first_computed_at":"2026-07-05T10:03:40.706238Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:03:40.706238Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XJ07yxgVft0QOs3tJbweb9O/z/hn7YHE/lBZ6ClLhFqfeih4/vQ3OS2S8JWd8JHu/aPw2OlREPlH4n04ZUB4CA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:03:40.706798Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.13969","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:50fdcbf78f6e14ea63b233ad0a4c985cb1ae23a6c9931f71cf4ddd819a8b1541","sha256:890b93966a05a28bfb0f735e04d01de5658faf62a6730c67e50868cf28bc3050"],"state_sha256":"54b41faf9b481c7ee118c8abf4ce1a92f2da6f5708bf6583b8643be78c04e520"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O6Meyl4MjpY0T+zKryxRCd4MtQtl0BJbkdRlKtvE9qFEbRx8VzGonZ8HCFxgEQlahEc54F73B9ozxuiUVL0sAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T17:44:37.611785Z","bundle_sha256":"5d0afbf0072e42e9c483e3ebc0792631fe721e84a48da5ec8de55d7b521aba7d"}}