{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:P2KGVI4IOYVKEDIEJ2EQBQQ3XK","short_pith_number":"pith:P2KGVI4I","schema_version":"1.0","canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","source":{"kind":"arxiv","id":"2606.03870","version":1},"attestation_state":"computed","paper":{"title":"Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessio Di Sandro, Aren A. Babikian, Claudio Menghi, Federico Formica, Marsha Chechik","submitted_at":"2026-06-02T16:41:20Z","abstract_excerpt":"The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two artifacts often proceed independently, creating a risk of misalignment. For example, a system may be updated due to implementation-level concerns, yielding a new version that no longer satisfies its original requirements. Traditional compliance recovery techniques, e.g., automated program repair, address this problem by modifying the system while assuming that requirements are correct. However, faulty, outdated or inade"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.03870","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-02T16:41:20Z","cross_cats_sorted":[],"title_canon_sha256":"27c18f2c2fc4d1bb6e4403bdfe7c5d1b32f3449338d80db140dd1fdeb63a4a64","abstract_canon_sha256":"730a39a72ec3668b8b6be00f1fd45a2a36ae7c7c02c5e0e4ad37629996a9650e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-03T02:06:04.887410Z","signature_b64":"w/KRdr1SnHIQYlDP82tl4cr3qUZm1rOMDHe6D3cmJGbeCqXafz4ho/mWVnCEElIK4bh1u5UTmrmOIfqzqdsfCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e946aa388762aa20d044e8900c21bba80f7249e6cc0fb9cb8480be907987051","last_reissued_at":"2026-06-03T02:06:04.887045Z","signature_status":"signed_v1","first_computed_at":"2026-06-03T02:06:04.887045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessio Di Sandro, Aren A. Babikian, Claudio Menghi, Federico Formica, Marsha Chechik","submitted_at":"2026-06-02T16:41:20Z","abstract_excerpt":"The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two artifacts often proceed independently, creating a risk of misalignment. For example, a system may be updated due to implementation-level concerns, yielding a new version that no longer satisfies its original requirements. Traditional compliance recovery techniques, e.g., automated program repair, address this problem by modifying the system while assuming that requirements are correct. However, faulty, outdated or inade"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.03870","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/2606.03870/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.03870","created_at":"2026-06-03T02:06:04.887104+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.03870v1","created_at":"2026-06-03T02:06:04.887104+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.03870","created_at":"2026-06-03T02:06:04.887104+00:00"},{"alias_kind":"pith_short_12","alias_value":"P2KGVI4IOYVK","created_at":"2026-06-03T02:06:04.887104+00:00"},{"alias_kind":"pith_short_16","alias_value":"P2KGVI4IOYVKEDIE","created_at":"2026-06-03T02:06:04.887104+00:00"},{"alias_kind":"pith_short_8","alias_value":"P2KGVI4I","created_at":"2026-06-03T02:06:04.887104+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK","json":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK.json","graph_json":"https://pith.science/api/pith-number/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/graph.json","events_json":"https://pith.science/api/pith-number/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/events.json","paper":"https://pith.science/paper/P2KGVI4I"},"agent_actions":{"view_html":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK","download_json":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK.json","view_paper":"https://pith.science/paper/P2KGVI4I","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.03870&json=true","fetch_graph":"https://pith.science/api/pith-number/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/graph.json","fetch_events":"https://pith.science/api/pith-number/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/action/storage_attestation","attest_author":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/action/author_attestation","sign_citation":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/action/citation_signature","submit_replication":"https://pith.science/pith/P2KGVI4IOYVKEDIEJ2EQBQQ3XK/action/replication_record"}},"created_at":"2026-06-03T02:06:04.887104+00:00","updated_at":"2026-06-03T02:06:04.887104+00:00"}