{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:5QJA3F6IS4XS2AKU6KIMLBCISN","short_pith_number":"pith:5QJA3F6I","canonical_record":{"source":{"id":"2005.01993","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-05T08:11:40Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"9d878165dde8dab99e30272c5a56fe41e4bd94dec4a134ae59caf2f7a2850d63","abstract_canon_sha256":"8a8241849a00d2e59f45abb998ff5dddb52b0db1475f20b692590aa4413810d4"},"schema_version":"1.0"},"canonical_sha256":"ec120d97c8972f2d0154f290c5844893778b876513d12fd5c886a3ef13d5202b","source":{"kind":"arxiv","id":"2005.01993","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.01993","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"arxiv_version","alias_value":"2005.01993v2","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.01993","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"pith_short_12","alias_value":"5QJA3F6IS4XS","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"pith_short_16","alias_value":"5QJA3F6IS4XS2AKU","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"pith_short_8","alias_value":"5QJA3F6I","created_at":"2026-07-05T02:46:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:5QJA3F6IS4XS2AKU6KIMLBCISN","target":"record","payload":{"canonical_record":{"source":{"id":"2005.01993","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-05T08:11:40Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"9d878165dde8dab99e30272c5a56fe41e4bd94dec4a134ae59caf2f7a2850d63","abstract_canon_sha256":"8a8241849a00d2e59f45abb998ff5dddb52b0db1475f20b692590aa4413810d4"},"schema_version":"1.0"},"canonical_sha256":"ec120d97c8972f2d0154f290c5844893778b876513d12fd5c886a3ef13d5202b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:46:00.371121Z","signature_b64":"L6Au6rln9PmecfGmy1+SpF1cI6/VGT8DYm7Q68ZVKeX76o8PXXAQEepvKsHR1j7huClpT3GhrPp7uFAJoHG0Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec120d97c8972f2d0154f290c5844893778b876513d12fd5c886a3ef13d5202b","last_reissued_at":"2026-07-05T02:46:00.370757Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:46:00.370757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.01993","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:46:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FXRmXW4tAO5ASGyZu8NUUpsQfwFZ5DQm3eND094BkoxRDyICaQMF0amtwgFTHQrAvJ1Ese2E+w/nXuHIgteGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T14:41:50.513191Z"},"content_sha256":"4e640a5dce0ab37e0916de7d0384cfd3acb674b355050dc82997baf6bb14ee83","schema_version":"1.0","event_id":"sha256:4e640a5dce0ab37e0916de7d0384cfd3acb674b355050dc82997baf6bb14ee83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:5QJA3F6IS4XS2AKU6KIMLBCISN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.SE","authors_text":"Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder","submitted_at":"2020-05-05T08:11:40Z","abstract_excerpt":"In today's industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctively decoupled from systems engineering activities. Significant efforts, costs and timely requirements are involved to conduct the required analyses. In this paper, we describe a novel integrated model-based approach of systems engineering and dependability analyses. The behavior of system components is specified by UML state machines determining intended/correct and undesired/faulty behavior. Based on this information,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.01993","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/2005.01993/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:46:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G1FvZW7njIaNS5mi3bHd0WiIxNOx4b1rDCVlpKiC+Fkp97K4/uQdLFk5XYMKPLh83O75OqwEo9m4Cm2tfRepAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T14:41:50.513580Z"},"content_sha256":"0a8e4ac2e60f5aac1aa99e666d37a18a08ab5768edf6f187fb11a69b6e68d8ff","schema_version":"1.0","event_id":"sha256:0a8e4ac2e60f5aac1aa99e666d37a18a08ab5768edf6f187fb11a69b6e68d8ff"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5QJA3F6IS4XS2AKU6KIMLBCISN/bundle.json","state_url":"https://pith.science/pith/5QJA3F6IS4XS2AKU6KIMLBCISN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5QJA3F6IS4XS2AKU6KIMLBCISN/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-05T14:41:50Z","links":{"resolver":"https://pith.science/pith/5QJA3F6IS4XS2AKU6KIMLBCISN","bundle":"https://pith.science/pith/5QJA3F6IS4XS2AKU6KIMLBCISN/bundle.json","state":"https://pith.science/pith/5QJA3F6IS4XS2AKU6KIMLBCISN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5QJA3F6IS4XS2AKU6KIMLBCISN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:5QJA3F6IS4XS2AKU6KIMLBCISN","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":"8a8241849a00d2e59f45abb998ff5dddb52b0db1475f20b692590aa4413810d4","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-05T08:11:40Z","title_canon_sha256":"9d878165dde8dab99e30272c5a56fe41e4bd94dec4a134ae59caf2f7a2850d63"},"schema_version":"1.0","source":{"id":"2005.01993","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.01993","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"arxiv_version","alias_value":"2005.01993v2","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.01993","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"pith_short_12","alias_value":"5QJA3F6IS4XS","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"pith_short_16","alias_value":"5QJA3F6IS4XS2AKU","created_at":"2026-07-05T02:46:00Z"},{"alias_kind":"pith_short_8","alias_value":"5QJA3F6I","created_at":"2026-07-05T02:46:00Z"}],"graph_snapshots":[{"event_id":"sha256:0a8e4ac2e60f5aac1aa99e666d37a18a08ab5768edf6f187fb11a69b6e68d8ff","target":"graph","created_at":"2026-07-05T02:46:00Z","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/2005.01993/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In today's industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctively decoupled from systems engineering activities. Significant efforts, costs and timely requirements are involved to conduct the required analyses. In this paper, we describe a novel integrated model-based approach of systems engineering and dependability analyses. The behavior of system components is specified by UML state machines determining intended/correct and undesired/faulty behavior. Based on this information,","authors_text":"Christof Kaukewitsch, Henrik Papist, Marc Zeller, Martin Rothfelder","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-05T08:11:40Z","title":"Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.01993","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:4e640a5dce0ab37e0916de7d0384cfd3acb674b355050dc82997baf6bb14ee83","target":"record","created_at":"2026-07-05T02:46:00Z","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":"8a8241849a00d2e59f45abb998ff5dddb52b0db1475f20b692590aa4413810d4","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-05-05T08:11:40Z","title_canon_sha256":"9d878165dde8dab99e30272c5a56fe41e4bd94dec4a134ae59caf2f7a2850d63"},"schema_version":"1.0","source":{"id":"2005.01993","kind":"arxiv","version":2}},"canonical_sha256":"ec120d97c8972f2d0154f290c5844893778b876513d12fd5c886a3ef13d5202b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec120d97c8972f2d0154f290c5844893778b876513d12fd5c886a3ef13d5202b","first_computed_at":"2026-07-05T02:46:00.370757Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:46:00.370757Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L6Au6rln9PmecfGmy1+SpF1cI6/VGT8DYm7Q68ZVKeX76o8PXXAQEepvKsHR1j7huClpT3GhrPp7uFAJoHG0Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:46:00.371121Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.01993","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4e640a5dce0ab37e0916de7d0384cfd3acb674b355050dc82997baf6bb14ee83","sha256:0a8e4ac2e60f5aac1aa99e666d37a18a08ab5768edf6f187fb11a69b6e68d8ff"],"state_sha256":"b44f768801649b8400054d55330d89adb2666983800211f2ae245ce0840aef05"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d7qCjWeA2ydIj1SI8FsH18/6G0+EZ8NfsR1PfYOW+/LFkoMbgnUfWsSSutGzFX8RqtN/DG+wMPV8MGAMOopfCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T14:41:50.515776Z","bundle_sha256":"08e129c7a11604bd14fe90b100c26d3c5ff8c6ac7565c32d0ecffe43eac4b289"}}