{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GMYJ7BBU7BZ2M4SGNX54AOERSD","short_pith_number":"pith:GMYJ7BBU","canonical_record":{"source":{"id":"1705.03095","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-08T21:32:13Z","cross_cats_sorted":[],"title_canon_sha256":"a10217bb7a0fa894e7d3bf755d117b38a03a618fc0c04f7bb42b98e22a8971be","abstract_canon_sha256":"315922292f20673e4ef213ff37d7a1fa4c68d55a091df7459a6ca59015f04b0e"},"schema_version":"1.0"},"canonical_sha256":"33309f8434f873a672466dfbc0389190e0fd88827c6bc86ed7aeb4842dacd1bc","source":{"kind":"arxiv","id":"1705.03095","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.03095","created_at":"2026-05-18T00:44:50Z"},{"alias_kind":"arxiv_version","alias_value":"1705.03095v1","created_at":"2026-05-18T00:44:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.03095","created_at":"2026-05-18T00:44:50Z"},{"alias_kind":"pith_short_12","alias_value":"GMYJ7BBU7BZ2","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GMYJ7BBU7BZ2M4SG","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GMYJ7BBU","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GMYJ7BBU7BZ2M4SGNX54AOERSD","target":"record","payload":{"canonical_record":{"source":{"id":"1705.03095","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-08T21:32:13Z","cross_cats_sorted":[],"title_canon_sha256":"a10217bb7a0fa894e7d3bf755d117b38a03a618fc0c04f7bb42b98e22a8971be","abstract_canon_sha256":"315922292f20673e4ef213ff37d7a1fa4c68d55a091df7459a6ca59015f04b0e"},"schema_version":"1.0"},"canonical_sha256":"33309f8434f873a672466dfbc0389190e0fd88827c6bc86ed7aeb4842dacd1bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:50.732664Z","signature_b64":"adkdUmx3qa719B0+6Ejx4kfCWMG3waTIzhK7+tQ81YvC6qdxo/VExyXYdWSiVlESs0C+Qblv4XlRz+yRJeHTAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"33309f8434f873a672466dfbc0389190e0fd88827c6bc86ed7aeb4842dacd1bc","last_reissued_at":"2026-05-18T00:44:50.732028Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:50.732028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.03095","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-18T00:44:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iergk/CIJUUsy5cJUJKFK+mzTvsWHKjhhHHY0dkJ4otXOi0PHsa55VIpc9yBKTKr9mZI7D3rpfZvku78qYHbAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T09:56:40.784001Z"},"content_sha256":"4d0d925e8d57afc88401a8abf60abf1b195a5e940a374895208d3e6aa0108d9e","schema_version":"1.0","event_id":"sha256:4d0d925e8d57afc88401a8abf60abf1b195a5e940a374895208d3e6aa0108d9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GMYJ7BBU7BZ2M4SGNX54AOERSD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Requirements Model for Cyber-Physical System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Md. Masudur Rahman, Naushin Nower","submitted_at":"2017-05-08T21:32:13Z","abstract_excerpt":"The development of cyber-physical system (CPS) is a big challenge because of its complexity and its complex requirements. Especially in Requirements Engineering (RE), there exist many redundant and conflict requirements. Eliminating conflict requirements and merged redundant/common requirements lead a challenging task at the elicitation phase in the requirements engineering process for CPS. Collecting and optimizing requirements through appropriate process reduce both development time and cost as every functional requirement gets refined and optimized at very first stage (requirements elicitat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.03095","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-18T00:44:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r1/7qzY0ZvpwVoh+RLH4fO8MQ/BJXFsMwkh7piU8SBID2xLpchB4bXOgM4O2YMaP+Lx2vyi1nPcOCUShlOfqDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T09:56:40.784369Z"},"content_sha256":"601278e34595b8bc42f30fdb1c1fdcb22b992b577c932d276d0a3ab9741097d2","schema_version":"1.0","event_id":"sha256:601278e34595b8bc42f30fdb1c1fdcb22b992b577c932d276d0a3ab9741097d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD/bundle.json","state_url":"https://pith.science/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD/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-23T09:56:40Z","links":{"resolver":"https://pith.science/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD","bundle":"https://pith.science/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD/bundle.json","state":"https://pith.science/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GMYJ7BBU7BZ2M4SGNX54AOERSD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GMYJ7BBU7BZ2M4SGNX54AOERSD","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":"315922292f20673e4ef213ff37d7a1fa4c68d55a091df7459a6ca59015f04b0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-08T21:32:13Z","title_canon_sha256":"a10217bb7a0fa894e7d3bf755d117b38a03a618fc0c04f7bb42b98e22a8971be"},"schema_version":"1.0","source":{"id":"1705.03095","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.03095","created_at":"2026-05-18T00:44:50Z"},{"alias_kind":"arxiv_version","alias_value":"1705.03095v1","created_at":"2026-05-18T00:44:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.03095","created_at":"2026-05-18T00:44:50Z"},{"alias_kind":"pith_short_12","alias_value":"GMYJ7BBU7BZ2","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GMYJ7BBU7BZ2M4SG","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GMYJ7BBU","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:601278e34595b8bc42f30fdb1c1fdcb22b992b577c932d276d0a3ab9741097d2","target":"graph","created_at":"2026-05-18T00:44:50Z","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 development of cyber-physical system (CPS) is a big challenge because of its complexity and its complex requirements. Especially in Requirements Engineering (RE), there exist many redundant and conflict requirements. Eliminating conflict requirements and merged redundant/common requirements lead a challenging task at the elicitation phase in the requirements engineering process for CPS. Collecting and optimizing requirements through appropriate process reduce both development time and cost as every functional requirement gets refined and optimized at very first stage (requirements elicitat","authors_text":"Md. Masudur Rahman, Naushin Nower","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-08T21:32:13Z","title":"Requirements Model for Cyber-Physical System"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.03095","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:4d0d925e8d57afc88401a8abf60abf1b195a5e940a374895208d3e6aa0108d9e","target":"record","created_at":"2026-05-18T00:44:50Z","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":"315922292f20673e4ef213ff37d7a1fa4c68d55a091df7459a6ca59015f04b0e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-05-08T21:32:13Z","title_canon_sha256":"a10217bb7a0fa894e7d3bf755d117b38a03a618fc0c04f7bb42b98e22a8971be"},"schema_version":"1.0","source":{"id":"1705.03095","kind":"arxiv","version":1}},"canonical_sha256":"33309f8434f873a672466dfbc0389190e0fd88827c6bc86ed7aeb4842dacd1bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"33309f8434f873a672466dfbc0389190e0fd88827c6bc86ed7aeb4842dacd1bc","first_computed_at":"2026-05-18T00:44:50.732028Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:50.732028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"adkdUmx3qa719B0+6Ejx4kfCWMG3waTIzhK7+tQ81YvC6qdxo/VExyXYdWSiVlESs0C+Qblv4XlRz+yRJeHTAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:50.732664Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.03095","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d0d925e8d57afc88401a8abf60abf1b195a5e940a374895208d3e6aa0108d9e","sha256:601278e34595b8bc42f30fdb1c1fdcb22b992b577c932d276d0a3ab9741097d2"],"state_sha256":"c221969be5f48126f9ead5d85d089ae0991075f3eaf09f92ffdb9abc6f7eda86"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1mzBPtVOP5DnRVsdb5cpjI3Q2N5PGlMOLlM5fsHaMX4rMuoowoRT0jcongqPILsP41j9V6ou0TqYXYg+B2JEBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T09:56:40.786326Z","bundle_sha256":"0272efdcc51e51c7d3e7d36592ed89e048a4c644de547b70166ac66378447c7d"}}