{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:3OF7SG3ZCFW3PONWH6N5HAVHFR","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":"d966e9ad7a68bf7a008d089244923a8cab4a6df76241d2f280e966c77e0a62e7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-07-21T23:44:25Z","title_canon_sha256":"1224b099deeead5fb4b8469ad33e6d306c0f900548d846ea2b78ee22c55a93f0"},"schema_version":"1.0","source":{"id":"2307.11940","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.11940","created_at":"2026-07-05T06:33:36Z"},{"alias_kind":"arxiv_version","alias_value":"2307.11940v1","created_at":"2026-07-05T06:33:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.11940","created_at":"2026-07-05T06:33:36Z"},{"alias_kind":"pith_short_12","alias_value":"3OF7SG3ZCFW3","created_at":"2026-07-05T06:33:36Z"},{"alias_kind":"pith_short_16","alias_value":"3OF7SG3ZCFW3PONW","created_at":"2026-07-05T06:33:36Z"},{"alias_kind":"pith_short_8","alias_value":"3OF7SG3Z","created_at":"2026-07-05T06:33:36Z"}],"graph_snapshots":[{"event_id":"sha256:b0c55a9ccd87ec7a4c564259956c91d0d6ed96a43f41995c745a599d74f09513","target":"graph","created_at":"2026-07-05T06:33:36Z","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/2307.11940/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"HPC (High Performance Computing) devices increasingly become the only alternative to deliver the performance needed in safety-critical autonomous systems (e.g., autonomous cars, unmanned planes) due to deploying large and powerful multicores along with accelerators such as GPUs. However, the support that those HPC devices offer to realize safety-critical systems on top is heterogeneous. Safety islands have been devised to be coupled to HPC devices and complement them to meet the safety requirements of an increased set of applications, yet the variety of concepts and realizations is large.\n  Th","authors_text":"Francisco J. Cazorla, In\\^es Pinto Gouveia, Jaume Abella, Michael Paulitsch, Sergi Alcaide, Yang Peng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-07-21T23:44:25Z","title":"Envisioning a Safety Island to Enable HPC Devices in Safety-Critical Domains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.11940","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:870dd4682c2e77743b98109df0cdd3414c1f2c5daeb5d02d4b3a9a851febee86","target":"record","created_at":"2026-07-05T06:33:36Z","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":"d966e9ad7a68bf7a008d089244923a8cab4a6df76241d2f280e966c77e0a62e7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-07-21T23:44:25Z","title_canon_sha256":"1224b099deeead5fb4b8469ad33e6d306c0f900548d846ea2b78ee22c55a93f0"},"schema_version":"1.0","source":{"id":"2307.11940","kind":"arxiv","version":1}},"canonical_sha256":"db8bf91b79116db7b9b63f9bd382a72c49ce4a06afa54901f6c660a9dd33cd36","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db8bf91b79116db7b9b63f9bd382a72c49ce4a06afa54901f6c660a9dd33cd36","first_computed_at":"2026-07-05T06:33:36.438046Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:33:36.438046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"V6sAsCNfIwqkY1yb8wFD2ERwoxwMwH5ldeQjRcT3oRca3g56kC4JPYGIl/+Y0XLOb9CVE0DiHJN3rPCNIASlBg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:33:36.438529Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.11940","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:870dd4682c2e77743b98109df0cdd3414c1f2c5daeb5d02d4b3a9a851febee86","sha256:b0c55a9ccd87ec7a4c564259956c91d0d6ed96a43f41995c745a599d74f09513"],"state_sha256":"f18b9aadf3d055daff6ad22fa19f93d0af2a5c06bdc04e79c676355903bb0cf7"}