{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:XB4KCN6MXYSROH55NYP3UPHBJZ","short_pith_number":"pith:XB4KCN6M","canonical_record":{"source":{"id":"1601.06222","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-01-23T03:26:55Z","cross_cats_sorted":[],"title_canon_sha256":"05a8b973e0b8c10679acf1ef2833f65d848be745ad711c5a0088db9ded6f905e","abstract_canon_sha256":"091e8239227341735ddb7ded2a50de4fae5ab420d922a43aef6f9275678787ab"},"schema_version":"1.0"},"canonical_sha256":"b878a137ccbe25171fbd6e1fba3ce14e71824729bcd56d85cef349853a78819b","source":{"kind":"arxiv","id":"1601.06222","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.06222","created_at":"2026-05-18T01:22:05Z"},{"alias_kind":"arxiv_version","alias_value":"1601.06222v1","created_at":"2026-05-18T01:22:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.06222","created_at":"2026-05-18T01:22:05Z"},{"alias_kind":"pith_short_12","alias_value":"XB4KCN6MXYSR","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XB4KCN6MXYSROH55","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XB4KCN6M","created_at":"2026-05-18T12:30:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:XB4KCN6MXYSROH55NYP3UPHBJZ","target":"record","payload":{"canonical_record":{"source":{"id":"1601.06222","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-01-23T03:26:55Z","cross_cats_sorted":[],"title_canon_sha256":"05a8b973e0b8c10679acf1ef2833f65d848be745ad711c5a0088db9ded6f905e","abstract_canon_sha256":"091e8239227341735ddb7ded2a50de4fae5ab420d922a43aef6f9275678787ab"},"schema_version":"1.0"},"canonical_sha256":"b878a137ccbe25171fbd6e1fba3ce14e71824729bcd56d85cef349853a78819b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:22:05.049576Z","signature_b64":"copVVPNTO/dJAepnCuhpgJGsMh7cVtlmpS+xxHfe6xsGMn5Eq/KjgNyc1LiCQUpjWtgfP+xe2dQIa5pq1+JuBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b878a137ccbe25171fbd6e1fba3ce14e71824729bcd56d85cef349853a78819b","last_reissued_at":"2026-05-18T01:22:05.049146Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:22:05.049146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1601.06222","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-18T01:22:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KnupMJ4hgsaoT8rmqNaYRFaB/oECbMf7hVqKOgkdWqAqrYYp0X8S7HNaPN/FkVU20g6o5Vc1irs5oP+yVzfmBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:23:03.268833Z"},"content_sha256":"e3483f1c9ef40eae57d8b7fcebb0340ee5faaffede4f01e67530b9a86fa2d4a1","schema_version":"1.0","event_id":"sha256:e3483f1c9ef40eae57d8b7fcebb0340ee5faaffede4f01e67530b9a86fa2d4a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:XB4KCN6MXYSROH55NYP3UPHBJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Anna Zamansky, Eitan Farchi, Maria Spichkova","submitted_at":"2016-01-23T03:26:55Z","abstract_excerpt":"The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and testing of CPSs makes these processes extremely prone to human error. In this paper we present our ongoing work on introducing human-centred considerations into modelling and testing of CPSs, which allow for agile iterative refinement processes of different levels of abstraction when errors are discovered or missing information is completed."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.06222","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-18T01:22:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3vuAWufr67oIzO4R+FQ3hljWDjhAkh5v0I+MltWujGkggHxvSd44OtmJ+Wuu+Qwl/xbWx5MrWh1L5U1VePg4Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:23:03.269170Z"},"content_sha256":"60c26031e8f955c3152985f9b62a7a7bcc2d66de6d74937b7cb4d4e4b3ec230d","schema_version":"1.0","event_id":"sha256:60c26031e8f955c3152985f9b62a7a7bcc2d66de6d74937b7cb4d4e4b3ec230d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XB4KCN6MXYSROH55NYP3UPHBJZ/bundle.json","state_url":"https://pith.science/pith/XB4KCN6MXYSROH55NYP3UPHBJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XB4KCN6MXYSROH55NYP3UPHBJZ/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-02T00:23:03Z","links":{"resolver":"https://pith.science/pith/XB4KCN6MXYSROH55NYP3UPHBJZ","bundle":"https://pith.science/pith/XB4KCN6MXYSROH55NYP3UPHBJZ/bundle.json","state":"https://pith.science/pith/XB4KCN6MXYSROH55NYP3UPHBJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XB4KCN6MXYSROH55NYP3UPHBJZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:XB4KCN6MXYSROH55NYP3UPHBJZ","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":"091e8239227341735ddb7ded2a50de4fae5ab420d922a43aef6f9275678787ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-01-23T03:26:55Z","title_canon_sha256":"05a8b973e0b8c10679acf1ef2833f65d848be745ad711c5a0088db9ded6f905e"},"schema_version":"1.0","source":{"id":"1601.06222","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1601.06222","created_at":"2026-05-18T01:22:05Z"},{"alias_kind":"arxiv_version","alias_value":"1601.06222v1","created_at":"2026-05-18T01:22:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.06222","created_at":"2026-05-18T01:22:05Z"},{"alias_kind":"pith_short_12","alias_value":"XB4KCN6MXYSR","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_16","alias_value":"XB4KCN6MXYSROH55","created_at":"2026-05-18T12:30:51Z"},{"alias_kind":"pith_short_8","alias_value":"XB4KCN6M","created_at":"2026-05-18T12:30:51Z"}],"graph_snapshots":[{"event_id":"sha256:60c26031e8f955c3152985f9b62a7a7bcc2d66de6d74937b7cb4d4e4b3ec230d","target":"graph","created_at":"2026-05-18T01:22:05Z","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 ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and testing of CPSs makes these processes extremely prone to human error. In this paper we present our ongoing work on introducing human-centred considerations into modelling and testing of CPSs, which allow for agile iterative refinement processes of different levels of abstraction when errors are discovered or missing information is completed.","authors_text":"Anna Zamansky, Eitan Farchi, Maria Spichkova","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-01-23T03:26:55Z","title":"Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.06222","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:e3483f1c9ef40eae57d8b7fcebb0340ee5faaffede4f01e67530b9a86fa2d4a1","target":"record","created_at":"2026-05-18T01:22:05Z","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":"091e8239227341735ddb7ded2a50de4fae5ab420d922a43aef6f9275678787ab","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-01-23T03:26:55Z","title_canon_sha256":"05a8b973e0b8c10679acf1ef2833f65d848be745ad711c5a0088db9ded6f905e"},"schema_version":"1.0","source":{"id":"1601.06222","kind":"arxiv","version":1}},"canonical_sha256":"b878a137ccbe25171fbd6e1fba3ce14e71824729bcd56d85cef349853a78819b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b878a137ccbe25171fbd6e1fba3ce14e71824729bcd56d85cef349853a78819b","first_computed_at":"2026-05-18T01:22:05.049146Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:22:05.049146Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"copVVPNTO/dJAepnCuhpgJGsMh7cVtlmpS+xxHfe6xsGMn5Eq/KjgNyc1LiCQUpjWtgfP+xe2dQIa5pq1+JuBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:22:05.049576Z","signed_message":"canonical_sha256_bytes"},"source_id":"1601.06222","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e3483f1c9ef40eae57d8b7fcebb0340ee5faaffede4f01e67530b9a86fa2d4a1","sha256:60c26031e8f955c3152985f9b62a7a7bcc2d66de6d74937b7cb4d4e4b3ec230d"],"state_sha256":"0df07b911c6065d5f4eb5145426e7aced4abdedd759b134558ee824a0c493a78"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eouH2HGX11Vfcqju0OSv76ebKJFIHg7WkUNghbvpP8ueQMZfvMdXnUmyyJvfwbXKrnHOIBBRFprz+Mye3iC/AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:23:03.271068Z","bundle_sha256":"e2c552f153f43869cd370bf7bf9068bc69a8ecf18a7de366104ea9efa29e2173"}}