{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:25EQX3KMZUNSMDOD5IV6J7SCO2","short_pith_number":"pith:25EQX3KM","schema_version":"1.0","canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","source":{"kind":"arxiv","id":"1806.09224","version":1},"attestation_state":"computed","paper":{"title":"Cyber-Physical Specification Mismatches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Khaza Anuarul Hoque, Luan V. Nguyen, Stanley Bak, Steven Drager, Taylor T. Johnson","submitted_at":"2018-06-24T22:37:39Z","abstract_excerpt":"Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the syst"},"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":"1806.09224","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-06-24T22:37:39Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"c8a7de7e6a33963c782527d7868e073f86686380a04124b7c9ff66496cac1a3e","abstract_canon_sha256":"81bc6e826c340549c22f4e55b0decddb626d9eee83cbd115fb5f0b0bc80c44f1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:29.959826Z","signature_b64":"D5OrzAwpJU51D8hdSUaEehJG/fiNq8SRnek+qTtGfqHWSuvT6D0kvtBM/wmaqXnABVXr3mepF/eBs3u59ltNBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7490bed4ccd1b260dc3ea2be4fe4276b8f275c03e2b738b9f6ff10666c744b8","last_reissued_at":"2026-05-18T00:12:29.959290Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:29.959290Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Cyber-Physical Specification Mismatches","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.SY","authors_text":"Khaza Anuarul Hoque, Luan V. Nguyen, Stanley Bak, Steven Drager, Taylor T. Johnson","submitted_at":"2018-06-24T22:37:39Z","abstract_excerpt":"Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the syst"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.09224","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.09224","created_at":"2026-05-18T00:12:29.959387+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.09224v1","created_at":"2026-05-18T00:12:29.959387+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.09224","created_at":"2026-05-18T00:12:29.959387+00:00"},{"alias_kind":"pith_short_12","alias_value":"25EQX3KMZUNS","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_16","alias_value":"25EQX3KMZUNSMDOD","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_8","alias_value":"25EQX3KM","created_at":"2026-05-18T12:31:59.375834+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/25EQX3KMZUNSMDOD5IV6J7SCO2","json":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2.json","graph_json":"https://pith.science/api/pith-number/25EQX3KMZUNSMDOD5IV6J7SCO2/graph.json","events_json":"https://pith.science/api/pith-number/25EQX3KMZUNSMDOD5IV6J7SCO2/events.json","paper":"https://pith.science/paper/25EQX3KM"},"agent_actions":{"view_html":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2","download_json":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2.json","view_paper":"https://pith.science/paper/25EQX3KM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.09224&json=true","fetch_graph":"https://pith.science/api/pith-number/25EQX3KMZUNSMDOD5IV6J7SCO2/graph.json","fetch_events":"https://pith.science/api/pith-number/25EQX3KMZUNSMDOD5IV6J7SCO2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/action/storage_attestation","attest_author":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/action/author_attestation","sign_citation":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/action/citation_signature","submit_replication":"https://pith.science/pith/25EQX3KMZUNSMDOD5IV6J7SCO2/action/replication_record"}},"created_at":"2026-05-18T00:12:29.959387+00:00","updated_at":"2026-05-18T00:12:29.959387+00:00"}