{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ECFEDB2EQZX2HJKRMZVA5O6EUS","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":"89c03687b15728e0a9388339e5a2ffe079a41e23182f840264aab24d16d51117","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2015-12-07T11:05:05Z","title_canon_sha256":"9f681307296b18c45de225d731c50119f956153c73af6d98ecd993cd1038a50f"},"schema_version":"1.0","source":{"id":"1512.01978","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.01978","created_at":"2026-05-18T01:25:09Z"},{"alias_kind":"arxiv_version","alias_value":"1512.01978v1","created_at":"2026-05-18T01:25:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.01978","created_at":"2026-05-18T01:25:09Z"},{"alias_kind":"pith_short_12","alias_value":"ECFEDB2EQZX2","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"ECFEDB2EQZX2HJKR","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"ECFEDB2E","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:458e734cb69707b02ae53a7a17a44b9d90c5f19e4ac49abdbc6ea66ffbedd2ff","target":"graph","created_at":"2026-05-18T01:25:09Z","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":"Real-time systems are traditionally classified into hard real-time and soft real-time: in the first category we have safety critical real-time systems where missing a deadline can have catastrophic consequences, whereas in the second class we find systems or which we need to optimise the Quality of service provided to the user. However, the frontier between these two classes is thinner than one may think, and many systems that were considered as hard real-time in the past should now be reconsidered under a different light. In this paper we shall first recall the fundamental notion of time-pred","authors_text":"Giuseppe Lipari, Luigi Palopoli","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2015-12-07T11:05:05Z","title":"Real-Time scheduling: from hard to soft real-time systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.01978","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:bad941d74a3dd5712521ab3c99f6dbceffea354168bdb43c87ec1f787c6c0ea4","target":"record","created_at":"2026-05-18T01:25:09Z","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":"89c03687b15728e0a9388339e5a2ffe079a41e23182f840264aab24d16d51117","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2015-12-07T11:05:05Z","title_canon_sha256":"9f681307296b18c45de225d731c50119f956153c73af6d98ecd993cd1038a50f"},"schema_version":"1.0","source":{"id":"1512.01978","kind":"arxiv","version":1}},"canonical_sha256":"208a418744866fa3a551666a0ebbc4a48e3c3701c431879b5c1437628e642b29","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"208a418744866fa3a551666a0ebbc4a48e3c3701c431879b5c1437628e642b29","first_computed_at":"2026-05-18T01:25:09.865280Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:09.865280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"166rGd0amIqAZKKbDlfQOTc5Un/jY8vdoJuDmITdkKhC1mLF7TU82ybZGmTel4k5K2fg02oOdkpJIU9R1yw2Aw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:09.865946Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.01978","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bad941d74a3dd5712521ab3c99f6dbceffea354168bdb43c87ec1f787c6c0ea4","sha256:458e734cb69707b02ae53a7a17a44b9d90c5f19e4ac49abdbc6ea66ffbedd2ff"],"state_sha256":"d6eebc4b2390e38e810fe90d41ab3522d14efbcedd3e1265c94d35ad3832181d"}