{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:E5AZ7JEBXB7FISJK34ZDIFTRFU","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":"436e51bbd5b4c37877597122dac4489a4ccc1f745f7ce31d93dc2f6e3bbc8d51","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-18T01:05:59Z","title_canon_sha256":"b147a8ea56997a2f4d87b1ae26721c5113e4d00916d5948b98cb3ecd44416cd2"},"schema_version":"1.0","source":{"id":"1903.07217","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.07217","created_at":"2026-05-17T23:51:03Z"},{"alias_kind":"arxiv_version","alias_value":"1903.07217v1","created_at":"2026-05-17T23:51:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07217","created_at":"2026-05-17T23:51:03Z"},{"alias_kind":"pith_short_12","alias_value":"E5AZ7JEBXB7F","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"E5AZ7JEBXB7FISJK","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"E5AZ7JEB","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:5128486b0b3bb93c0efd88ae20407decb542bb124681aae04de003f98792e272","target":"graph","created_at":"2026-05-17T23:51:03Z","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":"The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of the system. In this paper, we present an approach on the specific case of the scheduling of the flight control of a space launcher. The approach requires two successive steps: (1) the formalization of the problem to be solved in a parametric formal model and (2) the synthesis of the model parameters with a tool. We first describe the problematic of t","authors_text":"David Lesens, Emmanuel Coquard, \\'Etienne Andr\\'e, Jawher Jerray, Laurent Fribourg","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-18T01:05:59Z","title":"Parametric schedulability analysis of a launcher flight control system under reactivity constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07217","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:bc464d3e86aeb15111a8236cac8c6f737091accd6b353f66da4dfe32dea76bd7","target":"record","created_at":"2026-05-17T23:51:03Z","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":"436e51bbd5b4c37877597122dac4489a4ccc1f745f7ce31d93dc2f6e3bbc8d51","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-03-18T01:05:59Z","title_canon_sha256":"b147a8ea56997a2f4d87b1ae26721c5113e4d00916d5948b98cb3ecd44416cd2"},"schema_version":"1.0","source":{"id":"1903.07217","kind":"arxiv","version":1}},"canonical_sha256":"27419fa481b87e54492adf323416712d111e3bdb9ed8c70f4ccb36b35f4f4e42","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"27419fa481b87e54492adf323416712d111e3bdb9ed8c70f4ccb36b35f4f4e42","first_computed_at":"2026-05-17T23:51:03.907706Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:03.907706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W41BC62aASl6r0gXpzYsjcqPvImAwJg7R08LHvFk+B6bY0INjxdCbBkHfbiJY05+0HndCnbGd1D0fCl9fImpAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:03.908188Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.07217","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bc464d3e86aeb15111a8236cac8c6f737091accd6b353f66da4dfe32dea76bd7","sha256:5128486b0b3bb93c0efd88ae20407decb542bb124681aae04de003f98792e272"],"state_sha256":"d7d35b261a1910f5a7f42c263e7c58c8c31048cb1afd478cbaca13c659fae648"}