{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:KENCVSHXEBRSLQHHOEVANCYMMF","short_pith_number":"pith:KENCVSHX","schema_version":"1.0","canonical_sha256":"511a2ac8f7206325c0e7712a068b0c6140f6a74124e855af4f6b26e40a73eb93","source":{"kind":"arxiv","id":"2603.25666","version":1},"attestation_state":"computed","paper":{"title":"Experimental Analysis of FreeRTOS Dependability through Targeted Fault Injection Campaigns","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Alessandro Savino, Luca Mannella, Stefano Di Carlo","submitted_at":"2026-03-26T17:21:16Z","abstract_excerpt":"Real-Time Operating Systems (RTOSes) play a crucial role in safety-critical domains, where deterministic and predictable task execution is essential. Yet they are increasingly exposed to ionizing radiation, which can compromise system dependability.\n  To assess FreeRTOS under such conditions, we introduce KRONOS, a software-based, non-intrusive post-propagation Fault Injection (FI) framework that injects transient and permanent faults into Operating System-visible kernel data structures without specialized hardware or debug interfaces. Using KRONOS, we conduct an extensive FI campaign on core "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2603.25666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.OS","submitted_at":"2026-03-26T17:21:16Z","cross_cats_sorted":[],"title_canon_sha256":"594a4b425b7fcd9f040bd644129dfaf107149af206fa275c85abb5caeca8b0bf","abstract_canon_sha256":"26ea2bac55321c11f835e1d8199b63be160df59901531ef9b156595833fa14bf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-21T01:05:18.195543Z","signature_b64":"/F98qOsecypC9CEv3fXZbXanamTDyXdxTgjqJ7JLI8emuHBhLwUY6eUpSxUBHEmh7dwkaJK7yi3e0kNwuVGEAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"511a2ac8f7206325c0e7712a068b0c6140f6a74124e855af4f6b26e40a73eb93","last_reissued_at":"2026-05-21T01:05:18.195080Z","signature_status":"signed_v1","first_computed_at":"2026-05-21T01:05:18.195080Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Experimental Analysis of FreeRTOS Dependability through Targeted Fault Injection Campaigns","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.OS","authors_text":"Alessandro Savino, Luca Mannella, Stefano Di Carlo","submitted_at":"2026-03-26T17:21:16Z","abstract_excerpt":"Real-Time Operating Systems (RTOSes) play a crucial role in safety-critical domains, where deterministic and predictable task execution is essential. Yet they are increasingly exposed to ionizing radiation, which can compromise system dependability.\n  To assess FreeRTOS under such conditions, we introduce KRONOS, a software-based, non-intrusive post-propagation Fault Injection (FI) framework that injects transient and permanent faults into Operating System-visible kernel data structures without specialized hardware or debug interfaces. Using KRONOS, we conduct an extensive FI campaign on core "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.25666","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2603.25666/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2603.25666","created_at":"2026-05-21T01:05:18.195147+00:00"},{"alias_kind":"arxiv_version","alias_value":"2603.25666v1","created_at":"2026-05-21T01:05:18.195147+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.25666","created_at":"2026-05-21T01:05:18.195147+00:00"},{"alias_kind":"pith_short_12","alias_value":"KENCVSHXEBRS","created_at":"2026-05-21T01:05:18.195147+00:00"},{"alias_kind":"pith_short_16","alias_value":"KENCVSHXEBRSLQHH","created_at":"2026-05-21T01:05:18.195147+00:00"},{"alias_kind":"pith_short_8","alias_value":"KENCVSHX","created_at":"2026-05-21T01:05:18.195147+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF","json":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF.json","graph_json":"https://pith.science/api/pith-number/KENCVSHXEBRSLQHHOEVANCYMMF/graph.json","events_json":"https://pith.science/api/pith-number/KENCVSHXEBRSLQHHOEVANCYMMF/events.json","paper":"https://pith.science/paper/KENCVSHX"},"agent_actions":{"view_html":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF","download_json":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF.json","view_paper":"https://pith.science/paper/KENCVSHX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2603.25666&json=true","fetch_graph":"https://pith.science/api/pith-number/KENCVSHXEBRSLQHHOEVANCYMMF/graph.json","fetch_events":"https://pith.science/api/pith-number/KENCVSHXEBRSLQHHOEVANCYMMF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF/action/storage_attestation","attest_author":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF/action/author_attestation","sign_citation":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF/action/citation_signature","submit_replication":"https://pith.science/pith/KENCVSHXEBRSLQHHOEVANCYMMF/action/replication_record"}},"created_at":"2026-05-21T01:05:18.195147+00:00","updated_at":"2026-05-21T01:05:18.195147+00:00"}