{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NN7F7YVIZSJXCKMAWZGYOX75QV","short_pith_number":"pith:NN7F7YVI","canonical_record":{"source":{"id":"1706.06376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-20T11:45:14Z","cross_cats_sorted":[],"title_canon_sha256":"482b9829b6ab3d9eacffad29fa5121831c987e40defcb06b9506b8f0f21cbcd3","abstract_canon_sha256":"364fd5a04150dac144da64e4a200847d276033fc2258079ff82a4ff7c830e8df"},"schema_version":"1.0"},"canonical_sha256":"6b7e5fe2a8cc93712980b64d875ffd8551a32020e7216c71e939aeb726f552b8","source":{"kind":"arxiv","id":"1706.06376","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.06376","created_at":"2026-05-18T00:42:03Z"},{"alias_kind":"arxiv_version","alias_value":"1706.06376v1","created_at":"2026-05-18T00:42:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.06376","created_at":"2026-05-18T00:42:03Z"},{"alias_kind":"pith_short_12","alias_value":"NN7F7YVIZSJX","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"NN7F7YVIZSJXCKMA","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"NN7F7YVI","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NN7F7YVIZSJXCKMAWZGYOX75QV","target":"record","payload":{"canonical_record":{"source":{"id":"1706.06376","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-20T11:45:14Z","cross_cats_sorted":[],"title_canon_sha256":"482b9829b6ab3d9eacffad29fa5121831c987e40defcb06b9506b8f0f21cbcd3","abstract_canon_sha256":"364fd5a04150dac144da64e4a200847d276033fc2258079ff82a4ff7c830e8df"},"schema_version":"1.0"},"canonical_sha256":"6b7e5fe2a8cc93712980b64d875ffd8551a32020e7216c71e939aeb726f552b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:03.415108Z","signature_b64":"nfen07f0TM9zb3xja7KAbSbNFVH7K+YnTVQ9EZB6T2uoCymxN1TgBxtcesfZAGTZYXmWnto8wYaxbG9LozwJCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b7e5fe2a8cc93712980b64d875ffd8551a32020e7216c71e939aeb726f552b8","last_reissued_at":"2026-05-18T00:42:03.414383Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:03.414383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.06376","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:42:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w/cdB3ddy/Jiye/rfwFT7STjp7Id5PBhd/deTWE4hlLz0s8thWIJO+rr5Kf1uldXaMKwZYhuLAZNP7YDdawQBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:39:30.397309Z"},"content_sha256":"01a101b934e7e619404ad0391b337a338e326514be647e798122bf8098dfb5f8","schema_version":"1.0","event_id":"sha256:01a101b934e7e619404ad0391b337a338e326514be647e798122bf8098dfb5f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NN7F7YVIZSJXCKMAWZGYOX75QV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Model-Driven Development of High-Assurance Active Medical Devices","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Atif Mashkoor","submitted_at":"2017-06-20T11:45:14Z","abstract_excerpt":"Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification regimes due to the critical nature of such systems. This paper presents initial results and lessons learned from an ongoing project focusing on the development of a formal model of a subsystem of a software-controlled safety-critical Active Medical Device (AMD) responsible for renal replacement therapy. The use of formal approaches for the development of AMDs is highly recommended by standards and regulations, and motiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.06376","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:42:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wVB2H9MIGGOO8CZmdBO4NkmBO55PGBPrEIihLc+P5OZSgzwdKMQiG9Kx3sEW6ao9wG0bC3ofLWN3j0ettmC7DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:39:30.398063Z"},"content_sha256":"072a96823f1c1beaf74794944d1d30b06895bf558b504146cfcaa0273d82daa0","schema_version":"1.0","event_id":"sha256:072a96823f1c1beaf74794944d1d30b06895bf558b504146cfcaa0273d82daa0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NN7F7YVIZSJXCKMAWZGYOX75QV/bundle.json","state_url":"https://pith.science/pith/NN7F7YVIZSJXCKMAWZGYOX75QV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NN7F7YVIZSJXCKMAWZGYOX75QV/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-08-04T12:39:30Z","links":{"resolver":"https://pith.science/pith/NN7F7YVIZSJXCKMAWZGYOX75QV","bundle":"https://pith.science/pith/NN7F7YVIZSJXCKMAWZGYOX75QV/bundle.json","state":"https://pith.science/pith/NN7F7YVIZSJXCKMAWZGYOX75QV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NN7F7YVIZSJXCKMAWZGYOX75QV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NN7F7YVIZSJXCKMAWZGYOX75QV","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":"364fd5a04150dac144da64e4a200847d276033fc2258079ff82a4ff7c830e8df","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-20T11:45:14Z","title_canon_sha256":"482b9829b6ab3d9eacffad29fa5121831c987e40defcb06b9506b8f0f21cbcd3"},"schema_version":"1.0","source":{"id":"1706.06376","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.06376","created_at":"2026-05-18T00:42:03Z"},{"alias_kind":"arxiv_version","alias_value":"1706.06376v1","created_at":"2026-05-18T00:42:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.06376","created_at":"2026-05-18T00:42:03Z"},{"alias_kind":"pith_short_12","alias_value":"NN7F7YVIZSJX","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"NN7F7YVIZSJXCKMA","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"NN7F7YVI","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:072a96823f1c1beaf74794944d1d30b06895bf558b504146cfcaa0273d82daa0","target":"graph","created_at":"2026-05-18T00:42:03Z","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":"Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification regimes due to the critical nature of such systems. This paper presents initial results and lessons learned from an ongoing project focusing on the development of a formal model of a subsystem of a software-controlled safety-critical Active Medical Device (AMD) responsible for renal replacement therapy. The use of formal approaches for the development of AMDs is highly recommended by standards and regulations, and motiv","authors_text":"Atif Mashkoor","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-20T11:45:14Z","title":"Model-Driven Development of High-Assurance Active Medical Devices"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.06376","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:01a101b934e7e619404ad0391b337a338e326514be647e798122bf8098dfb5f8","target":"record","created_at":"2026-05-18T00:42:03Z","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":"364fd5a04150dac144da64e4a200847d276033fc2258079ff82a4ff7c830e8df","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-20T11:45:14Z","title_canon_sha256":"482b9829b6ab3d9eacffad29fa5121831c987e40defcb06b9506b8f0f21cbcd3"},"schema_version":"1.0","source":{"id":"1706.06376","kind":"arxiv","version":1}},"canonical_sha256":"6b7e5fe2a8cc93712980b64d875ffd8551a32020e7216c71e939aeb726f552b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b7e5fe2a8cc93712980b64d875ffd8551a32020e7216c71e939aeb726f552b8","first_computed_at":"2026-05-18T00:42:03.414383Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:03.414383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nfen07f0TM9zb3xja7KAbSbNFVH7K+YnTVQ9EZB6T2uoCymxN1TgBxtcesfZAGTZYXmWnto8wYaxbG9LozwJCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:03.415108Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.06376","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:01a101b934e7e619404ad0391b337a338e326514be647e798122bf8098dfb5f8","sha256:072a96823f1c1beaf74794944d1d30b06895bf558b504146cfcaa0273d82daa0"],"state_sha256":"2e5cdc5c01f24f123b6bafef88b3e657b90f0a93ab6d246b107bd957286552a9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lRdocbmbi6GcyqCfN+6ZfB/gGSrcmD19MxDBThBqzOEWk0AxhDZ+v9saYT68O3k6EhPZAZhQwvybCkC+B1j9DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T12:39:30.403347Z","bundle_sha256":"013cd77875af92f7fada2feb9f31f2a2d57880d7da65a58abaeb5d767d629a0a"}}