{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:NVSRCKBBMXDBBN63XV2P3R2S7U","short_pith_number":"pith:NVSRCKBB","canonical_record":{"source":{"id":"2207.09555","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2022-07-19T21:24:21Z","cross_cats_sorted":[],"title_canon_sha256":"40219982ea486e01ea31ae3b9f41cbe40008bbd184542601f5b831ec84aa0a09","abstract_canon_sha256":"9d820f6c5b566711464d9bd480cace9a673b808b6f7aac7c7366b6caa1d4a88a"},"schema_version":"1.0"},"canonical_sha256":"6d6511282165c610b7dbbd74fdc752fd3aa161fb0e423c381529e8d2d91e0be9","source":{"kind":"arxiv","id":"2207.09555","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.09555","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"arxiv_version","alias_value":"2207.09555v1","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.09555","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"pith_short_12","alias_value":"NVSRCKBBMXDB","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"pith_short_16","alias_value":"NVSRCKBBMXDBBN63","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"pith_short_8","alias_value":"NVSRCKBB","created_at":"2026-07-05T04:41:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:NVSRCKBBMXDBBN63XV2P3R2S7U","target":"record","payload":{"canonical_record":{"source":{"id":"2207.09555","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2022-07-19T21:24:21Z","cross_cats_sorted":[],"title_canon_sha256":"40219982ea486e01ea31ae3b9f41cbe40008bbd184542601f5b831ec84aa0a09","abstract_canon_sha256":"9d820f6c5b566711464d9bd480cace9a673b808b6f7aac7c7366b6caa1d4a88a"},"schema_version":"1.0"},"canonical_sha256":"6d6511282165c610b7dbbd74fdc752fd3aa161fb0e423c381529e8d2d91e0be9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:41:58.724706Z","signature_b64":"DMo/pafcQc04cIlceBQxnBJIRJIhsnRhBZ97crEIiGJ5g1BB7EED1KeDl0qxTO6q+XGAOe64FSR5jHzVQBAgCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d6511282165c610b7dbbd74fdc752fd3aa161fb0e423c381529e8d2d91e0be9","last_reissued_at":"2026-07-05T04:41:58.724220Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:41:58.724220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2207.09555","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-05T04:41:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IZFU0BTQDohMcBnaLDFsr0zDSnpeOfTmXOADtaTqjfhZjIASGVtMyVhfzIZNY03GWyQAM1rOfTqp4gvh7wqECg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:06:23.737280Z"},"content_sha256":"28af646c486238da80ae93cf28882af062c223f16e1ea031d6fe91000021f544","schema_version":"1.0","event_id":"sha256:28af646c486238da80ae93cf28882af062c223f16e1ea031d6fe91000021f544"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:NVSRCKBBMXDBBN63XV2P3R2S7U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Christian Menard, Cong Liu, Edward A. Lee, Hokeun Kim, Hou Seng Wong, Marten Lohstroh, Rohan Tabish, Shaokai Lin, Soroush Bateni","submitted_at":"2022-07-19T21:24:21Z","abstract_excerpt":"Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The coordination mechanism between the components in these frameworks, however, gives rise to nondeterminism, where factors such as communication timing can lead to arbitrary ordering in the handling of messages. In this paper, we demonstrate the significance of this problem in an open-source full-stack autonomous driving software, Autoware.Auto 1.0, which relies on ROS 2. We give an alterna"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.09555","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/2207.09555/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-05T04:41:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1KvcBd4PA3Nchal+kQf6nyvArUVeJlRFWFZsK7bdgO5DINMlbMiC6Qgley6VTDTF+OiEKBvj/m+9aO7txkUWBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T19:06:23.737663Z"},"content_sha256":"4459daaf5306a974fc9bf27551e4f41f66e9fab7bcd084c3096733f9c76dbe57","schema_version":"1.0","event_id":"sha256:4459daaf5306a974fc9bf27551e4f41f66e9fab7bcd084c3096733f9c76dbe57"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NVSRCKBBMXDBBN63XV2P3R2S7U/bundle.json","state_url":"https://pith.science/pith/NVSRCKBBMXDBBN63XV2P3R2S7U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NVSRCKBBMXDBBN63XV2P3R2S7U/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-06T19:06:23Z","links":{"resolver":"https://pith.science/pith/NVSRCKBBMXDBBN63XV2P3R2S7U","bundle":"https://pith.science/pith/NVSRCKBBMXDBBN63XV2P3R2S7U/bundle.json","state":"https://pith.science/pith/NVSRCKBBMXDBBN63XV2P3R2S7U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NVSRCKBBMXDBBN63XV2P3R2S7U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:NVSRCKBBMXDBBN63XV2P3R2S7U","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":"9d820f6c5b566711464d9bd480cace9a673b808b6f7aac7c7366b6caa1d4a88a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2022-07-19T21:24:21Z","title_canon_sha256":"40219982ea486e01ea31ae3b9f41cbe40008bbd184542601f5b831ec84aa0a09"},"schema_version":"1.0","source":{"id":"2207.09555","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.09555","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"arxiv_version","alias_value":"2207.09555v1","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.09555","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"pith_short_12","alias_value":"NVSRCKBBMXDB","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"pith_short_16","alias_value":"NVSRCKBBMXDBBN63","created_at":"2026-07-05T04:41:58Z"},{"alias_kind":"pith_short_8","alias_value":"NVSRCKBB","created_at":"2026-07-05T04:41:58Z"}],"graph_snapshots":[{"event_id":"sha256:4459daaf5306a974fc9bf27551e4f41f66e9fab7bcd084c3096733f9c76dbe57","target":"graph","created_at":"2026-07-05T04:41:58Z","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/2207.09555/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Asynchronous frameworks for distributed embedded systems, like ROS and MQTT, are increasingly used in safety-critical applications such as autonomous driving, where the cost of unintended behavior is high. The coordination mechanism between the components in these frameworks, however, gives rise to nondeterminism, where factors such as communication timing can lead to arbitrary ordering in the handling of messages. In this paper, we demonstrate the significance of this problem in an open-source full-stack autonomous driving software, Autoware.Auto 1.0, which relies on ROS 2. We give an alterna","authors_text":"Christian Menard, Cong Liu, Edward A. Lee, Hokeun Kim, Hou Seng Wong, Marten Lohstroh, Rohan Tabish, Shaokai Lin, Soroush Bateni","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2022-07-19T21:24:21Z","title":"Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.09555","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:28af646c486238da80ae93cf28882af062c223f16e1ea031d6fe91000021f544","target":"record","created_at":"2026-07-05T04:41:58Z","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":"9d820f6c5b566711464d9bd480cace9a673b808b6f7aac7c7366b6caa1d4a88a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2022-07-19T21:24:21Z","title_canon_sha256":"40219982ea486e01ea31ae3b9f41cbe40008bbd184542601f5b831ec84aa0a09"},"schema_version":"1.0","source":{"id":"2207.09555","kind":"arxiv","version":1}},"canonical_sha256":"6d6511282165c610b7dbbd74fdc752fd3aa161fb0e423c381529e8d2d91e0be9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6d6511282165c610b7dbbd74fdc752fd3aa161fb0e423c381529e8d2d91e0be9","first_computed_at":"2026-07-05T04:41:58.724220Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:41:58.724220Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DMo/pafcQc04cIlceBQxnBJIRJIhsnRhBZ97crEIiGJ5g1BB7EED1KeDl0qxTO6q+XGAOe64FSR5jHzVQBAgCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:41:58.724706Z","signed_message":"canonical_sha256_bytes"},"source_id":"2207.09555","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28af646c486238da80ae93cf28882af062c223f16e1ea031d6fe91000021f544","sha256:4459daaf5306a974fc9bf27551e4f41f66e9fab7bcd084c3096733f9c76dbe57"],"state_sha256":"38c3ad2d96949502febed7500641d79fbbc258f167ce7bf8c2a604b371daff5d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mufg6o1JzVO3/MggQAdsEWjPESFm46UuFGflKuG7Pyje/Vg4L+uPCya2go97lnivYkiTa03WX6pxs3rF9j1OAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T19:06:23.739526Z","bundle_sha256":"641e0d8aedf640cf7b176cfa9ac856d5e9ed50fe426ddfc6c3dbc01e0442ed6f"}}