{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:SVJ3FRIJVWGV7RKWHDADKKUED3","short_pith_number":"pith:SVJ3FRIJ","canonical_record":{"source":{"id":"1906.08520","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-06-20T09:40:22Z","cross_cats_sorted":[],"title_canon_sha256":"6385b6317ec5d01663ae18f42a3cd1cd08ad94cb92b7ae7646664bcd37a737f4","abstract_canon_sha256":"6d9f8dad7bdc088601b6e2461db4fb754f73c2c62724c73cde01bc28c5dbc528"},"schema_version":"1.0"},"canonical_sha256":"9553b2c509ad8d5fc55638c0352a841ef2cf1403d5cef95238e906648bd0a131","source":{"kind":"arxiv","id":"1906.08520","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.08520","created_at":"2026-05-17T23:42:52Z"},{"alias_kind":"arxiv_version","alias_value":"1906.08520v1","created_at":"2026-05-17T23:42:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.08520","created_at":"2026-05-17T23:42:52Z"},{"alias_kind":"pith_short_12","alias_value":"SVJ3FRIJVWGV","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"SVJ3FRIJVWGV7RKW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"SVJ3FRIJ","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:SVJ3FRIJVWGV7RKWHDADKKUED3","target":"record","payload":{"canonical_record":{"source":{"id":"1906.08520","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-06-20T09:40:22Z","cross_cats_sorted":[],"title_canon_sha256":"6385b6317ec5d01663ae18f42a3cd1cd08ad94cb92b7ae7646664bcd37a737f4","abstract_canon_sha256":"6d9f8dad7bdc088601b6e2461db4fb754f73c2c62724c73cde01bc28c5dbc528"},"schema_version":"1.0"},"canonical_sha256":"9553b2c509ad8d5fc55638c0352a841ef2cf1403d5cef95238e906648bd0a131","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:52.247985Z","signature_b64":"wvlOwLERnPoNuyATLvYX84MhdGn60zrU0vJmC2JQQEgoYrV5sv3yCbseiG7wR/ZJOJqKxzibWnz/tIGxVi/hBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9553b2c509ad8d5fc55638c0352a841ef2cf1403d5cef95238e906648bd0a131","last_reissued_at":"2026-05-17T23:42:52.247579Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:52.247579Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.08520","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-17T23:42:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KolxD3fMHnn2wqd1hZ00aRXXdT1GWuBkTdQTilS5MjNFE4nWSrdoDX2jedUP92u8EXQ/5sgRdEyJ0cQwBM8tAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T06:39:23.215108Z"},"content_sha256":"ace679c780a4b043a628306bf41b0e98b2b2de0985ce837523f9d609072aa2b2","schema_version":"1.0","event_id":"sha256:ace679c780a4b043a628306bf41b0e98b2b2de0985ce837523f9d609072aa2b2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:SVJ3FRIJVWGV7RKWHDADKKUED3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A System Modeling Approach to Enhance Functional and Software Development","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Amina Krekic, Emina Smajlovic, Jagadish Suryadevara, Saurabh Tiwari","submitted_at":"2019-06-20T09:40:22Z","abstract_excerpt":"This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction machinery lead to increased complexity for embedded software. Hence there emerges a need for new development methodologies to address flexible functional development, enhance communication among development teams, and maintain traceability from design concepts to software artefacts. The discussed approach has experimented in the context of developing a new transmiss"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.08520","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-17T23:42:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gNJQe/bN3b6RwC3ywsZRV4RN9IgONxURfLKHIb4XTuMP5zdq48NTQzXKTjRLX6fzzVlB5Tv5biLGG9Stk9LsDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T06:39:23.215757Z"},"content_sha256":"668fcbf28b948609c196c35730500ba70ac8c7726c4daf0ca5e18885c08cae39","schema_version":"1.0","event_id":"sha256:668fcbf28b948609c196c35730500ba70ac8c7726c4daf0ca5e18885c08cae39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SVJ3FRIJVWGV7RKWHDADKKUED3/bundle.json","state_url":"https://pith.science/pith/SVJ3FRIJVWGV7RKWHDADKKUED3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SVJ3FRIJVWGV7RKWHDADKKUED3/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-05-26T06:39:23Z","links":{"resolver":"https://pith.science/pith/SVJ3FRIJVWGV7RKWHDADKKUED3","bundle":"https://pith.science/pith/SVJ3FRIJVWGV7RKWHDADKKUED3/bundle.json","state":"https://pith.science/pith/SVJ3FRIJVWGV7RKWHDADKKUED3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SVJ3FRIJVWGV7RKWHDADKKUED3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:SVJ3FRIJVWGV7RKWHDADKKUED3","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":"6d9f8dad7bdc088601b6e2461db4fb754f73c2c62724c73cde01bc28c5dbc528","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-06-20T09:40:22Z","title_canon_sha256":"6385b6317ec5d01663ae18f42a3cd1cd08ad94cb92b7ae7646664bcd37a737f4"},"schema_version":"1.0","source":{"id":"1906.08520","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.08520","created_at":"2026-05-17T23:42:52Z"},{"alias_kind":"arxiv_version","alias_value":"1906.08520v1","created_at":"2026-05-17T23:42:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.08520","created_at":"2026-05-17T23:42:52Z"},{"alias_kind":"pith_short_12","alias_value":"SVJ3FRIJVWGV","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"SVJ3FRIJVWGV7RKW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"SVJ3FRIJ","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:668fcbf28b948609c196c35730500ba70ac8c7726c4daf0ca5e18885c08cae39","target":"graph","created_at":"2026-05-17T23:42:52Z","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":"This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction machinery lead to increased complexity for embedded software. Hence there emerges a need for new development methodologies to address flexible functional development, enhance communication among development teams, and maintain traceability from design concepts to software artefacts. The discussed approach has experimented in the context of developing a new transmiss","authors_text":"Amina Krekic, Emina Smajlovic, Jagadish Suryadevara, Saurabh Tiwari","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-06-20T09:40:22Z","title":"A System Modeling Approach to Enhance Functional and Software Development"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.08520","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:ace679c780a4b043a628306bf41b0e98b2b2de0985ce837523f9d609072aa2b2","target":"record","created_at":"2026-05-17T23:42:52Z","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":"6d9f8dad7bdc088601b6e2461db4fb754f73c2c62724c73cde01bc28c5dbc528","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2019-06-20T09:40:22Z","title_canon_sha256":"6385b6317ec5d01663ae18f42a3cd1cd08ad94cb92b7ae7646664bcd37a737f4"},"schema_version":"1.0","source":{"id":"1906.08520","kind":"arxiv","version":1}},"canonical_sha256":"9553b2c509ad8d5fc55638c0352a841ef2cf1403d5cef95238e906648bd0a131","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9553b2c509ad8d5fc55638c0352a841ef2cf1403d5cef95238e906648bd0a131","first_computed_at":"2026-05-17T23:42:52.247579Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:52.247579Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wvlOwLERnPoNuyATLvYX84MhdGn60zrU0vJmC2JQQEgoYrV5sv3yCbseiG7wR/ZJOJqKxzibWnz/tIGxVi/hBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:52.247985Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.08520","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ace679c780a4b043a628306bf41b0e98b2b2de0985ce837523f9d609072aa2b2","sha256:668fcbf28b948609c196c35730500ba70ac8c7726c4daf0ca5e18885c08cae39"],"state_sha256":"4b9514a9f586a07b15f32860b50e9eb8881a256b9120005d09a40da57531d44f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zh9qwB62WEcsB0EHF9ZtR3y71QuZpmwZrzY2p6erufRo9FKE+qC8yOUth76E56thXezDhg3XAZjYuasS0bR4DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T06:39:23.219042Z","bundle_sha256":"070e6646e2944cb15a17a59d8a4a946b2a1703222148e7f0941f80e07149dfed"}}