{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:HYMRFSKMZYONWJMLBSFBJRY3WL","short_pith_number":"pith:HYMRFSKM","canonical_record":{"source":{"id":"1410.4078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-10-15T14:48:52Z","cross_cats_sorted":[],"title_canon_sha256":"718945e6211f0db3c946ec7a470c4b1299cc3555ffe4ef4748900c6af303ec1c","abstract_canon_sha256":"44c14ffa48c2af3c320d6fa18ffa0c9ae08a1ddb6ac3c9f2a8133c6ebe6c6120"},"schema_version":"1.0"},"canonical_sha256":"3e1912c94cce1cdb258b0c8a14c71bb2eafa8417afd0218f3a2800e830a1017a","source":{"kind":"arxiv","id":"1410.4078","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.4078","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1410.4078v1","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.4078","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"HYMRFSKMZYON","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"HYMRFSKMZYONWJML","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"HYMRFSKM","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:HYMRFSKMZYONWJMLBSFBJRY3WL","target":"record","payload":{"canonical_record":{"source":{"id":"1410.4078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-10-15T14:48:52Z","cross_cats_sorted":[],"title_canon_sha256":"718945e6211f0db3c946ec7a470c4b1299cc3555ffe4ef4748900c6af303ec1c","abstract_canon_sha256":"44c14ffa48c2af3c320d6fa18ffa0c9ae08a1ddb6ac3c9f2a8133c6ebe6c6120"},"schema_version":"1.0"},"canonical_sha256":"3e1912c94cce1cdb258b0c8a14c71bb2eafa8417afd0218f3a2800e830a1017a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:40:02.695829Z","signature_b64":"9cKqVMQqQXu4jPFU8eSWoTIi1ur/jPqeRWAolR7gtbSSXJajRNdF4720DgsvVYdQZd67VQ1Qv08/FYG2NOlTBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3e1912c94cce1cdb258b0c8a14c71bb2eafa8417afd0218f3a2800e830a1017a","last_reissued_at":"2026-05-18T02:40:02.695367Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:40:02.695367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.4078","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-18T02:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+z/qXlXx7wA1NMqjhhpghlR0TrDTKBqULpmu1ikBXUz4CkOvHjJ/B3XXbUbtW/59nLsYf5QHibCu9FLZlEL3CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:52:14.211275Z"},"content_sha256":"6009c7a643e00a63b50693ec2fa84714075095f632e0342dc7cefce8e60bfd7a","schema_version":"1.0","event_id":"sha256:6009c7a643e00a63b50693ec2fa84714075095f632e0342dc7cefce8e60bfd7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:HYMRFSKMZYONWJMLBSFBJRY3WL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bernhard Rumpe, Christian Berger, Holger Krahn","submitted_at":"2014-10-15T14:48:52Z","abstract_excerpt":"\"This article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved through a bundle of modern software engineering methods. Architecture and design patterns for securing the software components are supplemented by test concepts and frameworks for validation and checks of robustness of the implementation. These patterns describe established and therefore consolidated solutions for certain problems as for instance reliability or "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.4078","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-18T02:40:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xBVZJVzGcnnnUjFEprvjHph2qLpFjXXvib3Xip5fJ7ZSRyMrql46f1aTyBG9j7ou1ov8hsEBpH/5b8Mk1p/FDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T06:52:14.212039Z"},"content_sha256":"f35ab803686456a1c29ee039559d70d594ef634373c8340b60b1936a5abaab54","schema_version":"1.0","event_id":"sha256:f35ab803686456a1c29ee039559d70d594ef634373c8340b60b1936a5abaab54"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HYMRFSKMZYONWJMLBSFBJRY3WL/bundle.json","state_url":"https://pith.science/pith/HYMRFSKMZYONWJMLBSFBJRY3WL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HYMRFSKMZYONWJMLBSFBJRY3WL/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-09T06:52:14Z","links":{"resolver":"https://pith.science/pith/HYMRFSKMZYONWJMLBSFBJRY3WL","bundle":"https://pith.science/pith/HYMRFSKMZYONWJMLBSFBJRY3WL/bundle.json","state":"https://pith.science/pith/HYMRFSKMZYONWJMLBSFBJRY3WL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HYMRFSKMZYONWJMLBSFBJRY3WL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:HYMRFSKMZYONWJMLBSFBJRY3WL","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":"44c14ffa48c2af3c320d6fa18ffa0c9ae08a1ddb6ac3c9f2a8133c6ebe6c6120","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-10-15T14:48:52Z","title_canon_sha256":"718945e6211f0db3c946ec7a470c4b1299cc3555ffe4ef4748900c6af303ec1c"},"schema_version":"1.0","source":{"id":"1410.4078","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.4078","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"arxiv_version","alias_value":"1410.4078v1","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.4078","created_at":"2026-05-18T02:40:02Z"},{"alias_kind":"pith_short_12","alias_value":"HYMRFSKMZYON","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"HYMRFSKMZYONWJML","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"HYMRFSKM","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:f35ab803686456a1c29ee039559d70d594ef634373c8340b60b1936a5abaab54","target":"graph","created_at":"2026-05-18T02:40:02Z","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 article describes software engineering techniques to be used in order to ensure the necessary quality of intelligent and therefore massive software-based systems in vehicles. Quality assurance for intelligent software is achieved through a bundle of modern software engineering methods. Architecture and design patterns for securing the software components are supplemented by test concepts and frameworks for validation and checks of robustness of the implementation. These patterns describe established and therefore consolidated solutions for certain problems as for instance reliability or ","authors_text":"Bernhard Rumpe, Christian Berger, Holger Krahn","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-10-15T14:48:52Z","title":"Softwaretechnische Absicherung intelligenter Systeme im Fahrzeug"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.4078","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:6009c7a643e00a63b50693ec2fa84714075095f632e0342dc7cefce8e60bfd7a","target":"record","created_at":"2026-05-18T02:40:02Z","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":"44c14ffa48c2af3c320d6fa18ffa0c9ae08a1ddb6ac3c9f2a8133c6ebe6c6120","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-10-15T14:48:52Z","title_canon_sha256":"718945e6211f0db3c946ec7a470c4b1299cc3555ffe4ef4748900c6af303ec1c"},"schema_version":"1.0","source":{"id":"1410.4078","kind":"arxiv","version":1}},"canonical_sha256":"3e1912c94cce1cdb258b0c8a14c71bb2eafa8417afd0218f3a2800e830a1017a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3e1912c94cce1cdb258b0c8a14c71bb2eafa8417afd0218f3a2800e830a1017a","first_computed_at":"2026-05-18T02:40:02.695367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:40:02.695367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9cKqVMQqQXu4jPFU8eSWoTIi1ur/jPqeRWAolR7gtbSSXJajRNdF4720DgsvVYdQZd67VQ1Qv08/FYG2NOlTBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:40:02.695829Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.4078","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6009c7a643e00a63b50693ec2fa84714075095f632e0342dc7cefce8e60bfd7a","sha256:f35ab803686456a1c29ee039559d70d594ef634373c8340b60b1936a5abaab54"],"state_sha256":"284f0f1010860ac83999add7e9f3cf30d434df92c1e13ebbc75edcb95a918816"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AQVZtkHu5WQm5zYi3Umpleybv8s6DsWxlTa5F2+1IwCgtpDYvMGtimANXC7nUSWBtxDfvuugGUSlWfBWXX1UAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T06:52:14.216835Z","bundle_sha256":"c2028a8d97e18648c4057e7fa3725d00db19772790cf9f0167c849abe5ca7e00"}}