{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:LASOVACAWBSS3NYDYCZGTBFLZ5","short_pith_number":"pith:LASOVACA","canonical_record":{"source":{"id":"1612.00330","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-01T16:12:49Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d2c9908787e60230b9dbea3ff6d1b0f34cf642352debc360cfce5d03b8a392a1","abstract_canon_sha256":"553eff3ea3df0c59594b8cfae6e2c97309fce698067b35327008410bf4c29e43"},"schema_version":"1.0"},"canonical_sha256":"5824ea8040b0652db703c0b26984abcf5dd432bc67c32a825fae236a5fcdb419","source":{"kind":"arxiv","id":"1612.00330","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00330","created_at":"2026-05-18T00:56:05Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00330v1","created_at":"2026-05-18T00:56:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00330","created_at":"2026-05-18T00:56:05Z"},{"alias_kind":"pith_short_12","alias_value":"LASOVACAWBSS","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LASOVACAWBSS3NYD","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LASOVACA","created_at":"2026-05-18T12:30:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:LASOVACAWBSS3NYDYCZGTBFLZ5","target":"record","payload":{"canonical_record":{"source":{"id":"1612.00330","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-01T16:12:49Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"d2c9908787e60230b9dbea3ff6d1b0f34cf642352debc360cfce5d03b8a392a1","abstract_canon_sha256":"553eff3ea3df0c59594b8cfae6e2c97309fce698067b35327008410bf4c29e43"},"schema_version":"1.0"},"canonical_sha256":"5824ea8040b0652db703c0b26984abcf5dd432bc67c32a825fae236a5fcdb419","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:05.434729Z","signature_b64":"OcGlt6rm0wFIDR9dGyH/un+qRRppZ8EOe0uV/BInZd9CveiQ+CrWH6AS7lmX52HHeQnr++ox4WXMI+k5/qGICA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5824ea8040b0652db703c0b26984abcf5dd432bc67c32a825fae236a5fcdb419","last_reissued_at":"2026-05-18T00:56:05.434145Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:05.434145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.00330","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:56:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LzCj62R0wQeUbzwhMJvr1jNmdcAsDpXmArNsYcQ8SP/dlBdGDae+fd+ATZRn3o7EnoYFlNyh2IVZIot+UqHYAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:36:36.323103Z"},"content_sha256":"f052cc5c89af4b19f9116f132f79525689031a8b0682968bf07cd2ce136a4258","schema_version":"1.0","event_id":"sha256:f052cc5c89af4b19f9116f132f79525689031a8b0682968bf07cd2ce136a4258"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:LASOVACAWBSS3NYDYCZGTBFLZ5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"cs.SE","authors_text":"Asim Abdulkhaleq, Stefan Wagner","submitted_at":"2016-12-01T16:12:49Z","abstract_excerpt":"Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of systems. FTA and FMEA are most commonly used by safety analysts. Recently, STPA has been proposed with the goal to better cope with complex systems including software. Objective: This research aimed at comparing quantitatively these three safety analysis techniques with regard to their effectiveness, applicability, understandability, ease of use and efficien"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00330","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:56:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3bpkvwg4wfdJdESPAC6paYLZcrqg9ka7dBha52gHrH0/25doyFQ40DBi7V5+i/KS/6lCi/KvwY3FkFuUwFjpAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:36:36.323663Z"},"content_sha256":"e396628806aaa5e225fe04c5af81523d7217dac0f1339ff1763d9c2518892b9c","schema_version":"1.0","event_id":"sha256:e396628806aaa5e225fe04c5af81523d7217dac0f1339ff1763d9c2518892b9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LASOVACAWBSS3NYDYCZGTBFLZ5/bundle.json","state_url":"https://pith.science/pith/LASOVACAWBSS3NYDYCZGTBFLZ5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LASOVACAWBSS3NYDYCZGTBFLZ5/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-02T03:36:36Z","links":{"resolver":"https://pith.science/pith/LASOVACAWBSS3NYDYCZGTBFLZ5","bundle":"https://pith.science/pith/LASOVACAWBSS3NYDYCZGTBFLZ5/bundle.json","state":"https://pith.science/pith/LASOVACAWBSS3NYDYCZGTBFLZ5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LASOVACAWBSS3NYDYCZGTBFLZ5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:LASOVACAWBSS3NYDYCZGTBFLZ5","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":"553eff3ea3df0c59594b8cfae6e2c97309fce698067b35327008410bf4c29e43","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-01T16:12:49Z","title_canon_sha256":"d2c9908787e60230b9dbea3ff6d1b0f34cf642352debc360cfce5d03b8a392a1"},"schema_version":"1.0","source":{"id":"1612.00330","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.00330","created_at":"2026-05-18T00:56:05Z"},{"alias_kind":"arxiv_version","alias_value":"1612.00330v1","created_at":"2026-05-18T00:56:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.00330","created_at":"2026-05-18T00:56:05Z"},{"alias_kind":"pith_short_12","alias_value":"LASOVACAWBSS","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LASOVACAWBSS3NYD","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LASOVACA","created_at":"2026-05-18T12:30:29Z"}],"graph_snapshots":[{"event_id":"sha256:e396628806aaa5e225fe04c5af81523d7217dac0f1339ff1763d9c2518892b9c","target":"graph","created_at":"2026-05-18T00:56:05Z","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":"Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of systems. FTA and FMEA are most commonly used by safety analysts. Recently, STPA has been proposed with the goal to better cope with complex systems including software. Objective: This research aimed at comparing quantitatively these three safety analysis techniques with regard to their effectiveness, applicability, understandability, ease of use and efficien","authors_text":"Asim Abdulkhaleq, Stefan Wagner","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-01T16:12:49Z","title":"A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.00330","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:f052cc5c89af4b19f9116f132f79525689031a8b0682968bf07cd2ce136a4258","target":"record","created_at":"2026-05-18T00:56:05Z","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":"553eff3ea3df0c59594b8cfae6e2c97309fce698067b35327008410bf4c29e43","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-12-01T16:12:49Z","title_canon_sha256":"d2c9908787e60230b9dbea3ff6d1b0f34cf642352debc360cfce5d03b8a392a1"},"schema_version":"1.0","source":{"id":"1612.00330","kind":"arxiv","version":1}},"canonical_sha256":"5824ea8040b0652db703c0b26984abcf5dd432bc67c32a825fae236a5fcdb419","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5824ea8040b0652db703c0b26984abcf5dd432bc67c32a825fae236a5fcdb419","first_computed_at":"2026-05-18T00:56:05.434145Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:05.434145Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OcGlt6rm0wFIDR9dGyH/un+qRRppZ8EOe0uV/BInZd9CveiQ+CrWH6AS7lmX52HHeQnr++ox4WXMI+k5/qGICA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:05.434729Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.00330","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f052cc5c89af4b19f9116f132f79525689031a8b0682968bf07cd2ce136a4258","sha256:e396628806aaa5e225fe04c5af81523d7217dac0f1339ff1763d9c2518892b9c"],"state_sha256":"f443dab6209ced46d3b4c1824bf518605ec68d6c5f7bccd3f944b30496c26d6f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vDofJDGLcFaOxOdC5Lzl6oYtk/av+Yw6IZNx3Jet2O4yGZnJ0w6EFEthFu8pRiymX08asIWUfGn9pIOTSewvAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:36:36.326341Z","bundle_sha256":"57395ac3cb955ceca97959cdbf9ca2464574c94a4f91619e785281f15936509e"}}