{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:2Y5M552HG4ELENW2Z36X5LJOZP","short_pith_number":"pith:2Y5M552H","schema_version":"1.0","canonical_sha256":"d63acef7473708b236dacefd7ead2ecbdf1218e8f1d3cfbe6a9221e4b2f8486f","source":{"kind":"arxiv","id":"1304.6656","version":1},"attestation_state":"computed","paper":{"title":"A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Francesco Flammini, Nicola Mazzocca, Stefano Marrone, Valeria Vittorini","submitted_at":"2013-04-16T13:00:15Z","abstract_excerpt":"A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to assess the compliance of these architectures with international safety standards, the frequency of hazardous failures must be analyzed by developing and solving proper formal models. Furthermore, the impact of maintenance faults has to be considered, since imperfect maintenance may degrade the safety integrity level of the system. In this paper we present both a failure model for voting architectures based on Bayesi"},"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":"1304.6656","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2013-04-16T13:00:15Z","cross_cats_sorted":[],"title_canon_sha256":"ae29484a5bd8d9c737971908258995844f8ca1746fea2c3f4e103135397f9583","abstract_canon_sha256":"e4033ef113a0309d02831f06937fa86b0759d49039b87d706f39c44f64e02df8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:12.468548Z","signature_b64":"mkcxF6TrK/fJtZPUVWniBiJUb6n9Zx/V/cAk96ydtSkSgsXJOhl23UEwIWUf7D2DLTUJbrF2OPmKhs1hDy2nAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d63acef7473708b236dacefd7ead2ecbdf1218e8f1d3cfbe6a9221e4b2f8486f","last_reissued_at":"2026-05-18T03:27:12.467823Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:12.467823Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Francesco Flammini, Nicola Mazzocca, Stefano Marrone, Valeria Vittorini","submitted_at":"2013-04-16T13:00:15Z","abstract_excerpt":"A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to assess the compliance of these architectures with international safety standards, the frequency of hazardous failures must be analyzed by developing and solving proper formal models. Furthermore, the impact of maintenance faults has to be considered, since imperfect maintenance may degrade the safety integrity level of the system. In this paper we present both a failure model for voting architectures based on Bayesi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.6656","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1304.6656","created_at":"2026-05-18T03:27:12.467951+00:00"},{"alias_kind":"arxiv_version","alias_value":"1304.6656v1","created_at":"2026-05-18T03:27:12.467951+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.6656","created_at":"2026-05-18T03:27:12.467951+00:00"},{"alias_kind":"pith_short_12","alias_value":"2Y5M552HG4EL","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_16","alias_value":"2Y5M552HG4ELENW2","created_at":"2026-05-18T12:27:32.513160+00:00"},{"alias_kind":"pith_short_8","alias_value":"2Y5M552H","created_at":"2026-05-18T12:27:32.513160+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/2Y5M552HG4ELENW2Z36X5LJOZP","json":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP.json","graph_json":"https://pith.science/api/pith-number/2Y5M552HG4ELENW2Z36X5LJOZP/graph.json","events_json":"https://pith.science/api/pith-number/2Y5M552HG4ELENW2Z36X5LJOZP/events.json","paper":"https://pith.science/paper/2Y5M552H"},"agent_actions":{"view_html":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP","download_json":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP.json","view_paper":"https://pith.science/paper/2Y5M552H","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1304.6656&json=true","fetch_graph":"https://pith.science/api/pith-number/2Y5M552HG4ELENW2Z36X5LJOZP/graph.json","fetch_events":"https://pith.science/api/pith-number/2Y5M552HG4ELENW2Z36X5LJOZP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP/action/storage_attestation","attest_author":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP/action/author_attestation","sign_citation":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP/action/citation_signature","submit_replication":"https://pith.science/pith/2Y5M552HG4ELENW2Z36X5LJOZP/action/replication_record"}},"created_at":"2026-05-18T03:27:12.467951+00:00","updated_at":"2026-05-18T03:27:12.467951+00:00"}