{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:5HIYOGMWEIG46VIQ7OPSBSX7DO","short_pith_number":"pith:5HIYOGMW","canonical_record":{"source":{"id":"1504.07135","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-04-27T15:39:17Z","cross_cats_sorted":["cs.CR","cs.SE"],"title_canon_sha256":"49c9c5fb66b9b88ad5da50d732e5a2a397e2e892a4e5bfa2e993c0318bf06aaa","abstract_canon_sha256":"3df674d63e966cb3c4da942dbe1881d9650f7f322a58e21629a411bf492587ad"},"schema_version":"1.0"},"canonical_sha256":"e9d1871996220dcf5510fb9f20caff1b90dbd23a15948317bb77f8b5bddf0592","source":{"kind":"arxiv","id":"1504.07135","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07135","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07135v2","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07135","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"pith_short_12","alias_value":"5HIYOGMWEIG4","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"pith_short_16","alias_value":"5HIYOGMWEIG46VIQ","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"pith_short_8","alias_value":"5HIYOGMW","created_at":"2026-07-05T02:50:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:5HIYOGMWEIG46VIQ7OPSBSX7DO","target":"record","payload":{"canonical_record":{"source":{"id":"1504.07135","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-04-27T15:39:17Z","cross_cats_sorted":["cs.CR","cs.SE"],"title_canon_sha256":"49c9c5fb66b9b88ad5da50d732e5a2a397e2e892a4e5bfa2e993c0318bf06aaa","abstract_canon_sha256":"3df674d63e966cb3c4da942dbe1881d9650f7f322a58e21629a411bf492587ad"},"schema_version":"1.0"},"canonical_sha256":"e9d1871996220dcf5510fb9f20caff1b90dbd23a15948317bb77f8b5bddf0592","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:50:35.532817Z","signature_b64":"gmpRc8YFJ2PAf3Vww9geHyp7o/yITsNTKeuxoSkL8cjnKzuA3wMrf01BfKwRQRP1MDBKfVs07Oy44vllEaGNBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e9d1871996220dcf5510fb9f20caff1b90dbd23a15948317bb77f8b5bddf0592","last_reissued_at":"2026-07-05T02:50:35.532100Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:50:35.532100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.07135","source_version":2,"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-07-05T02:50:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y9YZQbE89dtLhVYWP4kVhNbSGIhNx8vsekJTF46n4+p6d6uzE8Xqd0r7wg0uRSFQ1+Qh46GUf9ZVj7sMeFKEDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:32:31.342500Z"},"content_sha256":"ec9e38ceb92c8b593fbf2a9e802fe3154aad95e2d56efae78cc4762b54d2cc88","schema_version":"1.0","event_id":"sha256:ec9e38ceb92c8b593fbf2a9e802fe3154aad95e2d56efae78cc4762b54d2cc88"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:5HIYOGMWEIG46VIQ7OPSBSX7DO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Systems-theoretic Safety Assessment of Robotic Telesurgical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR","cs.SE"],"primary_cat":"cs.RO","authors_text":"Andrew Lewis, Daniel Chen, Homa Alemzadeh, Jaishankar Raman, Nancy Leveson, Ravishankar K. Iyer, Zbigniew Kalbarczyk","submitted_at":"2015-04-27T15:39:17Z","abstract_excerpt":"Robotic telesurgical systems are one of the most complex medical cyber-physical systems on the market, and have been used in over 1.75 million procedures during the last decade. Despite significant improvements in design of robotic surgical systems through the years, there have been ongoing occurrences of safety incidents during procedures that negatively impact patients. This paper presents an approach for systems-theoretic safety assessment of robotic telesurgical systems using software-implemented fault-injection. We used a systemstheoretic hazard analysis technique (STPA) to identify the p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07135","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1504.07135/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T02:50:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kCpX6HrqHyG7kdP9qj0mC3GAGUNZf5XP1EeXgdgZxXW3OKDwDjiZUAsFHV8Kzl/HMC5zKzpu4D5TzDza8t0zCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:32:31.342872Z"},"content_sha256":"27a173230230a0ac828b9cef4653e74ff51cc0cf567e8976f62eed18033a11f0","schema_version":"1.0","event_id":"sha256:27a173230230a0ac828b9cef4653e74ff51cc0cf567e8976f62eed18033a11f0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO/bundle.json","state_url":"https://pith.science/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO/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-07-07T12:32:31Z","links":{"resolver":"https://pith.science/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO","bundle":"https://pith.science/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO/bundle.json","state":"https://pith.science/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5HIYOGMWEIG46VIQ7OPSBSX7DO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:5HIYOGMWEIG46VIQ7OPSBSX7DO","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":"3df674d63e966cb3c4da942dbe1881d9650f7f322a58e21629a411bf492587ad","cross_cats_sorted":["cs.CR","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-04-27T15:39:17Z","title_canon_sha256":"49c9c5fb66b9b88ad5da50d732e5a2a397e2e892a4e5bfa2e993c0318bf06aaa"},"schema_version":"1.0","source":{"id":"1504.07135","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.07135","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"arxiv_version","alias_value":"1504.07135v2","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.07135","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"pith_short_12","alias_value":"5HIYOGMWEIG4","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"pith_short_16","alias_value":"5HIYOGMWEIG46VIQ","created_at":"2026-07-05T02:50:35Z"},{"alias_kind":"pith_short_8","alias_value":"5HIYOGMW","created_at":"2026-07-05T02:50:35Z"}],"graph_snapshots":[{"event_id":"sha256:27a173230230a0ac828b9cef4653e74ff51cc0cf567e8976f62eed18033a11f0","target":"graph","created_at":"2026-07-05T02:50:35Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1504.07135/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Robotic telesurgical systems are one of the most complex medical cyber-physical systems on the market, and have been used in over 1.75 million procedures during the last decade. Despite significant improvements in design of robotic surgical systems through the years, there have been ongoing occurrences of safety incidents during procedures that negatively impact patients. This paper presents an approach for systems-theoretic safety assessment of robotic telesurgical systems using software-implemented fault-injection. We used a systemstheoretic hazard analysis technique (STPA) to identify the p","authors_text":"Andrew Lewis, Daniel Chen, Homa Alemzadeh, Jaishankar Raman, Nancy Leveson, Ravishankar K. Iyer, Zbigniew Kalbarczyk","cross_cats":["cs.CR","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-04-27T15:39:17Z","title":"Systems-theoretic Safety Assessment of Robotic Telesurgical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.07135","kind":"arxiv","version":2},"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:ec9e38ceb92c8b593fbf2a9e802fe3154aad95e2d56efae78cc4762b54d2cc88","target":"record","created_at":"2026-07-05T02:50:35Z","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":"3df674d63e966cb3c4da942dbe1881d9650f7f322a58e21629a411bf492587ad","cross_cats_sorted":["cs.CR","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2015-04-27T15:39:17Z","title_canon_sha256":"49c9c5fb66b9b88ad5da50d732e5a2a397e2e892a4e5bfa2e993c0318bf06aaa"},"schema_version":"1.0","source":{"id":"1504.07135","kind":"arxiv","version":2}},"canonical_sha256":"e9d1871996220dcf5510fb9f20caff1b90dbd23a15948317bb77f8b5bddf0592","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e9d1871996220dcf5510fb9f20caff1b90dbd23a15948317bb77f8b5bddf0592","first_computed_at":"2026-07-05T02:50:35.532100Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:50:35.532100Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gmpRc8YFJ2PAf3Vww9geHyp7o/yITsNTKeuxoSkL8cjnKzuA3wMrf01BfKwRQRP1MDBKfVs07Oy44vllEaGNBA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:50:35.532817Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.07135","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ec9e38ceb92c8b593fbf2a9e802fe3154aad95e2d56efae78cc4762b54d2cc88","sha256:27a173230230a0ac828b9cef4653e74ff51cc0cf567e8976f62eed18033a11f0"],"state_sha256":"bc7cb4ad6f9ebb7ff6a45fa683ed06004f449b888e0e51fcd39af66e4732179d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IqK/Ikz6u2YBnT8+mKZ6SMglvuEcQyyvuU/PtXGvDCGvuYw9z0STRqw5Ym/oLPPQani/d/k7Uyj7rM5FruacAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T12:32:31.344772Z","bundle_sha256":"e5083dfa67fda9ffbc12950d4f023367c63a11f44bf21ac5d05a5a78b2f831d3"}}