{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:EV2QD243TTZSGM4WDBDMIWL4JD","short_pith_number":"pith:EV2QD243","canonical_record":{"source":{"id":"1809.00821","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-04T07:50:30Z","cross_cats_sorted":[],"title_canon_sha256":"9ba27b0650c2c5849942c3925465d2ee20fa386788baf2283af28a1765af5d0f","abstract_canon_sha256":"bf12844d0603357f8b8899f51744440716aec6f0e700f5dd9b14d5fa65e363d3"},"schema_version":"1.0"},"canonical_sha256":"257501eb9b9cf32333961846c4597c48c311773fd0a193c1c61da6e0d62d44d7","source":{"kind":"arxiv","id":"1809.00821","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.00821","created_at":"2026-05-18T00:06:32Z"},{"alias_kind":"arxiv_version","alias_value":"1809.00821v1","created_at":"2026-05-18T00:06:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.00821","created_at":"2026-05-18T00:06:32Z"},{"alias_kind":"pith_short_12","alias_value":"EV2QD243TTZS","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EV2QD243TTZSGM4W","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EV2QD243","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:EV2QD243TTZSGM4WDBDMIWL4JD","target":"record","payload":{"canonical_record":{"source":{"id":"1809.00821","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-04T07:50:30Z","cross_cats_sorted":[],"title_canon_sha256":"9ba27b0650c2c5849942c3925465d2ee20fa386788baf2283af28a1765af5d0f","abstract_canon_sha256":"bf12844d0603357f8b8899f51744440716aec6f0e700f5dd9b14d5fa65e363d3"},"schema_version":"1.0"},"canonical_sha256":"257501eb9b9cf32333961846c4597c48c311773fd0a193c1c61da6e0d62d44d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:06:32.413897Z","signature_b64":"IAi42brjrwNjRHI1keR3cdLYqpjTB9Bd790bMr4SprhYBwH4SlFTCkh7E3xwOK2BBl/BG7B5/YS0WziQd3HRDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"257501eb9b9cf32333961846c4597c48c311773fd0a193c1c61da6e0d62d44d7","last_reissued_at":"2026-05-18T00:06:32.413515Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:06:32.413515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.00821","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:06:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2qV0p2A8yYs4TiCSBksRlMU6w4iidpBqjoV7fF4EDSNbAgjg1MvqKWe9iRFHLx0HfXW75TdC6TxXSTHac0TOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T03:08:04.010987Z"},"content_sha256":"6d93e84fece3d75f33d169fa14dffa9feab7abe795b74a37d277fbd959170bd7","schema_version":"1.0","event_id":"sha256:6d93e84fece3d75f33d169fa14dffa9feab7abe795b74a37d277fbd959170bd7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:EV2QD243TTZSGM4WDBDMIWL4JD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Abramo Bagnara, Patricia M. Hill, Roberto Bagnara","submitted_at":"2018-09-04T07:50:30Z","abstract_excerpt":"The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the C language, initially targeted at the automotive sector, but now adopted across all industry sectors that develop C software in safety- and/or security-critical contexts. In this paper, we introduce MISRA C, its role in the development of critical software, especially in embedded systems, its relevance to industry safety standards, as well as the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.00821","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:06:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T/ZuMnuuQ7A8W2ccTwxCNx6B2aHZWpK+zqBh94pPULn1e350Ffl96wlXYkYY83GhdIaozX5VOV8u1ptuzngFCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T03:08:04.011673Z"},"content_sha256":"660f6332f8a0923a97a20a9dc2961b617935baf1f5671ed71812d88fa706f5f6","schema_version":"1.0","event_id":"sha256:660f6332f8a0923a97a20a9dc2961b617935baf1f5671ed71812d88fa706f5f6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EV2QD243TTZSGM4WDBDMIWL4JD/bundle.json","state_url":"https://pith.science/pith/EV2QD243TTZSGM4WDBDMIWL4JD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EV2QD243TTZSGM4WDBDMIWL4JD/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-05-24T03:08:04Z","links":{"resolver":"https://pith.science/pith/EV2QD243TTZSGM4WDBDMIWL4JD","bundle":"https://pith.science/pith/EV2QD243TTZSGM4WDBDMIWL4JD/bundle.json","state":"https://pith.science/pith/EV2QD243TTZSGM4WDBDMIWL4JD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EV2QD243TTZSGM4WDBDMIWL4JD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:EV2QD243TTZSGM4WDBDMIWL4JD","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":"bf12844d0603357f8b8899f51744440716aec6f0e700f5dd9b14d5fa65e363d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-04T07:50:30Z","title_canon_sha256":"9ba27b0650c2c5849942c3925465d2ee20fa386788baf2283af28a1765af5d0f"},"schema_version":"1.0","source":{"id":"1809.00821","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.00821","created_at":"2026-05-18T00:06:32Z"},{"alias_kind":"arxiv_version","alias_value":"1809.00821v1","created_at":"2026-05-18T00:06:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.00821","created_at":"2026-05-18T00:06:32Z"},{"alias_kind":"pith_short_12","alias_value":"EV2QD243TTZS","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"EV2QD243TTZSGM4W","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"EV2QD243","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:660f6332f8a0923a97a20a9dc2961b617935baf1f5671ed71812d88fa706f5f6","target":"graph","created_at":"2026-05-18T00:06:32Z","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":"The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and standalone software. MISRA C is a coding standard defining a subset of the C language, initially targeted at the automotive sector, but now adopted across all industry sectors that develop C software in safety- and/or security-critical contexts. In this paper, we introduce MISRA C, its role in the development of critical software, especially in embedded systems, its relevance to industry safety standards, as well as the ","authors_text":"Abramo Bagnara, Patricia M. Hill, Roberto Bagnara","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-04T07:50:30Z","title":"The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.00821","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:6d93e84fece3d75f33d169fa14dffa9feab7abe795b74a37d277fbd959170bd7","target":"record","created_at":"2026-05-18T00:06:32Z","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":"bf12844d0603357f8b8899f51744440716aec6f0e700f5dd9b14d5fa65e363d3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-04T07:50:30Z","title_canon_sha256":"9ba27b0650c2c5849942c3925465d2ee20fa386788baf2283af28a1765af5d0f"},"schema_version":"1.0","source":{"id":"1809.00821","kind":"arxiv","version":1}},"canonical_sha256":"257501eb9b9cf32333961846c4597c48c311773fd0a193c1c61da6e0d62d44d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"257501eb9b9cf32333961846c4597c48c311773fd0a193c1c61da6e0d62d44d7","first_computed_at":"2026-05-18T00:06:32.413515Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:06:32.413515Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IAi42brjrwNjRHI1keR3cdLYqpjTB9Bd790bMr4SprhYBwH4SlFTCkh7E3xwOK2BBl/BG7B5/YS0WziQd3HRDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:06:32.413897Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.00821","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d93e84fece3d75f33d169fa14dffa9feab7abe795b74a37d277fbd959170bd7","sha256:660f6332f8a0923a97a20a9dc2961b617935baf1f5671ed71812d88fa706f5f6"],"state_sha256":"25970bcd9507fb12aaff1b1e1519e75963ed6fd1ea4e97570bb6dba5eb15b69c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lFJ0axKMj9C1LwPLucc1og3cMBjeqJmZCinkUXMjK203H1iNPMDXmr6XaDlQ+Mzt6cG2Bu54cMI6qo4KTPtnBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T03:08:04.015464Z","bundle_sha256":"9b581f984e63beb0d375304a3671f6a77c0d05a87a841bca09f650483ffeeed4"}}