{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PQ4KUQIMJMQURCOYJ4XEQTH4RY","short_pith_number":"pith:PQ4KUQIM","canonical_record":{"source":{"id":"1703.06350","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-18T20:37:35Z","cross_cats_sorted":[],"title_canon_sha256":"0f4077cfd28052604ec08d6ea5cc0a06f789a88d79169b3e9db8acdeb3e7ce8b","abstract_canon_sha256":"c51e1bf6b88145a756e0139176f1b46f167658fb93c823986b143700528acfd1"},"schema_version":"1.0"},"canonical_sha256":"7c38aa410c4b214889d84f2e484cfc8e3d0e6673646e8f7cdacd0d3edc17c960","source":{"kind":"arxiv","id":"1703.06350","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06350","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06350v2","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06350","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"pith_short_12","alias_value":"PQ4KUQIMJMQU","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQ4KUQIMJMQURCOY","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQ4KUQIM","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PQ4KUQIMJMQURCOYJ4XEQTH4RY","target":"record","payload":{"canonical_record":{"source":{"id":"1703.06350","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-18T20:37:35Z","cross_cats_sorted":[],"title_canon_sha256":"0f4077cfd28052604ec08d6ea5cc0a06f789a88d79169b3e9db8acdeb3e7ce8b","abstract_canon_sha256":"c51e1bf6b88145a756e0139176f1b46f167658fb93c823986b143700528acfd1"},"schema_version":"1.0"},"canonical_sha256":"7c38aa410c4b214889d84f2e484cfc8e3d0e6673646e8f7cdacd0d3edc17c960","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:09.348704Z","signature_b64":"s5SS2i34J1p0sh5gtuxdayGQaunQQt26Co7tED4BgCO6xTV6H4J7ZCjHQ7XEMXochnqUWodMPmNfIaVrxY9iBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c38aa410c4b214889d84f2e484cfc8e3d0e6673646e8f7cdacd0d3edc17c960","last_reissued_at":"2026-05-18T00:00:09.348193Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:09.348193Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.06350","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-05-18T00:00:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"09aswynhpKGSqfwBAIFFCnkR8pDtDnakZXgqJmuxYntk3pLTP/NHlnE7RKkm+0g/xy10huTF7o+z/vm8pTDqBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T14:12:31.754706Z"},"content_sha256":"7abd8c53130c7c9cfbb1e3b01c5c24b8c73a4239fe90ea3b3c0c61cbb14de3e8","schema_version":"1.0","event_id":"sha256:7abd8c53130c7c9cfbb1e3b01c5c24b8c73a4239fe90ea3b3c0c61cbb14de3e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PQ4KUQIMJMQURCOYJ4XEQTH4RY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"(2) Linnaeus University, (3) Katholieke Universiteit Leuven, Belgium), Danny Weyns (3), Ibrahim Habli (1), M. Usman Iftikhar (2), Radu Calinescu (1), Simos Gerasimou (1), Sweden, Tim Kelly (1) ((1) University of York, UK","submitted_at":"2017-03-18T20:37:35Z","abstract_excerpt":"Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) des"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06350","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":""},"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:00:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zePCyixPBRMNl4f1JkbWQb5tKEPm6a1qVscLOw2Vgt1SaAwGerdhw0ENCFAyHfWWIDJTElJAXlxg/D2AmePWBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T14:12:31.755082Z"},"content_sha256":"4626c3543742859ab37548d1066b996443fa3ba602f031a990a7b5e45b36c96d","schema_version":"1.0","event_id":"sha256:4626c3543742859ab37548d1066b996443fa3ba602f031a990a7b5e45b36c96d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY/bundle.json","state_url":"https://pith.science/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY/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-04T14:12:31Z","links":{"resolver":"https://pith.science/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY","bundle":"https://pith.science/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY/bundle.json","state":"https://pith.science/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PQ4KUQIMJMQURCOYJ4XEQTH4RY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PQ4KUQIMJMQURCOYJ4XEQTH4RY","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":"c51e1bf6b88145a756e0139176f1b46f167658fb93c823986b143700528acfd1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-18T20:37:35Z","title_canon_sha256":"0f4077cfd28052604ec08d6ea5cc0a06f789a88d79169b3e9db8acdeb3e7ce8b"},"schema_version":"1.0","source":{"id":"1703.06350","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.06350","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"arxiv_version","alias_value":"1703.06350v2","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.06350","created_at":"2026-05-18T00:00:09Z"},{"alias_kind":"pith_short_12","alias_value":"PQ4KUQIMJMQU","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQ4KUQIMJMQURCOY","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQ4KUQIM","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:4626c3543742859ab37548d1066b996443fa3ba602f031a990a7b5e45b36c96d","target":"graph","created_at":"2026-05-18T00:00:09Z","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":"Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) des","authors_text":"(2) Linnaeus University, (3) Katholieke Universiteit Leuven, Belgium), Danny Weyns (3), Ibrahim Habli (1), M. Usman Iftikhar (2), Radu Calinescu (1), Simos Gerasimou (1), Sweden, Tim Kelly (1) ((1) University of York, UK","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-18T20:37:35Z","title":"Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.06350","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:7abd8c53130c7c9cfbb1e3b01c5c24b8c73a4239fe90ea3b3c0c61cbb14de3e8","target":"record","created_at":"2026-05-18T00:00:09Z","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":"c51e1bf6b88145a756e0139176f1b46f167658fb93c823986b143700528acfd1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-03-18T20:37:35Z","title_canon_sha256":"0f4077cfd28052604ec08d6ea5cc0a06f789a88d79169b3e9db8acdeb3e7ce8b"},"schema_version":"1.0","source":{"id":"1703.06350","kind":"arxiv","version":2}},"canonical_sha256":"7c38aa410c4b214889d84f2e484cfc8e3d0e6673646e8f7cdacd0d3edc17c960","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c38aa410c4b214889d84f2e484cfc8e3d0e6673646e8f7cdacd0d3edc17c960","first_computed_at":"2026-05-18T00:00:09.348193Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:09.348193Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s5SS2i34J1p0sh5gtuxdayGQaunQQt26Co7tED4BgCO6xTV6H4J7ZCjHQ7XEMXochnqUWodMPmNfIaVrxY9iBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:09.348704Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.06350","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7abd8c53130c7c9cfbb1e3b01c5c24b8c73a4239fe90ea3b3c0c61cbb14de3e8","sha256:4626c3543742859ab37548d1066b996443fa3ba602f031a990a7b5e45b36c96d"],"state_sha256":"ba387e4082b79709ab2703aa705e8469f4d1567c4235707880fa692211ed3786"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CM+8cfXIk4tLocmz/Y3oRk/v1K/KsXYcOv00WOi/yHoDCRtO58B1iTKYtWHCtRB88Ia92zxZIpB8jYqwgf2xBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T14:12:31.757058Z","bundle_sha256":"a4f4239acb77b699513b52dffad61d5e8fa090a7d0a6216c5a624ae484ac195e"}}