{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:WC2BF2XW625AUZHF3Z4WPWAZ5X","short_pith_number":"pith:WC2BF2XW","canonical_record":{"source":{"id":"1302.1306","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-06T10:06:39Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"97d94a8abe2c39203d19673ac51763468894b682a5719158d81d2103be487bad","abstract_canon_sha256":"b2848b14b66b83f7a7d77036a41e8aa36bc338038b71e8876d7734ec5d1dc8cd"},"schema_version":"1.0"},"canonical_sha256":"b0b412eaf6f6ba0a64e5de7967d819edc27c7c6256b455e1110f6c875d09aa22","source":{"kind":"arxiv","id":"1302.1306","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.1306","created_at":"2026-05-18T03:34:24Z"},{"alias_kind":"arxiv_version","alias_value":"1302.1306v1","created_at":"2026-05-18T03:34:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.1306","created_at":"2026-05-18T03:34:24Z"},{"alias_kind":"pith_short_12","alias_value":"WC2BF2XW625A","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WC2BF2XW625AUZHF","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WC2BF2XW","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:WC2BF2XW625AUZHF3Z4WPWAZ5X","target":"record","payload":{"canonical_record":{"source":{"id":"1302.1306","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-06T10:06:39Z","cross_cats_sorted":["cs.OS"],"title_canon_sha256":"97d94a8abe2c39203d19673ac51763468894b682a5719158d81d2103be487bad","abstract_canon_sha256":"b2848b14b66b83f7a7d77036a41e8aa36bc338038b71e8876d7734ec5d1dc8cd"},"schema_version":"1.0"},"canonical_sha256":"b0b412eaf6f6ba0a64e5de7967d819edc27c7c6256b455e1110f6c875d09aa22","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:34:24.638137Z","signature_b64":"HujWZNGPE1hwVT1GjKxZWon7xfGpXts6JlmsAwmlwz9TaEn94LoNWuYnxhG2AbNzDt2LmiTFhjo+fgWL5U7XCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b0b412eaf6f6ba0a64e5de7967d819edc27c7c6256b455e1110f6c875d09aa22","last_reissued_at":"2026-05-18T03:34:24.637518Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:34:24.637518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.1306","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-05-18T03:34:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PTL1EtFx1/VLxtswdf1XBccLB5L01JAvCA+Vb9u4LubpBIr46aXzp0q1G6ZPsXL3DfwVkmpJJB6OQFAqsnaFDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T02:13:59.227945Z"},"content_sha256":"308ab102af5bdb892672214847f83b08dbd919e129b829cd6c321772c41971e6","schema_version":"1.0","event_id":"sha256:308ab102af5bdb892672214847f83b08dbd919e129b829cd6c321772c41971e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:WC2BF2XW625AUZHF3Z4WPWAZ5X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.OS"],"primary_cat":"cs.DC","authors_text":"\\'Etienne Andr\\'e, Giuseppe Lipari, Laurent Fribourg, Romain Soulat, Youcheng Sun","submitted_at":"2013-02-06T10:06:39Z","abstract_excerpt":"Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the system with respect to variations of some uncontrollable variable. In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. In particular, we propose two different approaches to parametric analysis: the first one is a novel technique based on classical schedulability analysis, whereas the second approach is based on model checking of Parametr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.1306","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"},"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-18T03:34:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nUf96oRTcK2h575OBz2cS5z7tAh4QiW6EdyvnBFwWb01kP1bWjPbUfwTHX8kidu7a2e7++qiYgRPxNO4tGkfAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T02:13:59.228290Z"},"content_sha256":"8c32f82b44cc04dfd372d97956d0725847ce579dbf5875b936f5c7caff200b71","schema_version":"1.0","event_id":"sha256:8c32f82b44cc04dfd372d97956d0725847ce579dbf5875b936f5c7caff200b71"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X/bundle.json","state_url":"https://pith.science/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X/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-26T02:13:59Z","links":{"resolver":"https://pith.science/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X","bundle":"https://pith.science/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X/bundle.json","state":"https://pith.science/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WC2BF2XW625AUZHF3Z4WPWAZ5X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:WC2BF2XW625AUZHF3Z4WPWAZ5X","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":"b2848b14b66b83f7a7d77036a41e8aa36bc338038b71e8876d7734ec5d1dc8cd","cross_cats_sorted":["cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-06T10:06:39Z","title_canon_sha256":"97d94a8abe2c39203d19673ac51763468894b682a5719158d81d2103be487bad"},"schema_version":"1.0","source":{"id":"1302.1306","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.1306","created_at":"2026-05-18T03:34:24Z"},{"alias_kind":"arxiv_version","alias_value":"1302.1306v1","created_at":"2026-05-18T03:34:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.1306","created_at":"2026-05-18T03:34:24Z"},{"alias_kind":"pith_short_12","alias_value":"WC2BF2XW625A","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WC2BF2XW625AUZHF","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WC2BF2XW","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:8c32f82b44cc04dfd372d97956d0725847ce579dbf5875b936f5c7caff200b71","target":"graph","created_at":"2026-05-18T03:34:24Z","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":"Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the system with respect to variations of some uncontrollable variable. In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. In particular, we propose two different approaches to parametric analysis: the first one is a novel technique based on classical schedulability analysis, whereas the second approach is based on model checking of Parametr","authors_text":"\\'Etienne Andr\\'e, Giuseppe Lipari, Laurent Fribourg, Romain Soulat, Youcheng Sun","cross_cats":["cs.OS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-06T10:06:39Z","title":"Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.1306","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:308ab102af5bdb892672214847f83b08dbd919e129b829cd6c321772c41971e6","target":"record","created_at":"2026-05-18T03:34:24Z","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":"b2848b14b66b83f7a7d77036a41e8aa36bc338038b71e8876d7734ec5d1dc8cd","cross_cats_sorted":["cs.OS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-06T10:06:39Z","title_canon_sha256":"97d94a8abe2c39203d19673ac51763468894b682a5719158d81d2103be487bad"},"schema_version":"1.0","source":{"id":"1302.1306","kind":"arxiv","version":1}},"canonical_sha256":"b0b412eaf6f6ba0a64e5de7967d819edc27c7c6256b455e1110f6c875d09aa22","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0b412eaf6f6ba0a64e5de7967d819edc27c7c6256b455e1110f6c875d09aa22","first_computed_at":"2026-05-18T03:34:24.637518Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:34:24.637518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HujWZNGPE1hwVT1GjKxZWon7xfGpXts6JlmsAwmlwz9TaEn94LoNWuYnxhG2AbNzDt2LmiTFhjo+fgWL5U7XCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:34:24.638137Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.1306","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:308ab102af5bdb892672214847f83b08dbd919e129b829cd6c321772c41971e6","sha256:8c32f82b44cc04dfd372d97956d0725847ce579dbf5875b936f5c7caff200b71"],"state_sha256":"284f3343d3ac63b86af5f734d753e991e5f2e087972f3abd2748faaf3f783935"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IkTY0zmlu+lB85N0pao6j+AtbAjTuY6noTJIVI71WblBs7XQt17Cl0Tf5CH9r0++AQfaFvw6brY2QOg31rWhBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T02:13:59.230424Z","bundle_sha256":"33b5b50d3ccf49427b943818741e6ab0b07d68d7886c805a43144ba68ff348f0"}}