{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:DHHPEULBNYPUG2MEUY4BJGA7LU","short_pith_number":"pith:DHHPEULB","canonical_record":{"source":{"id":"0905.2355","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-05-14T15:52:40Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"15801e62baef18c10a2d75f3eb4f1ab1cec514e26aa8c3b5ec40ec581e2536b1","abstract_canon_sha256":"63747f9374c0ee84e5d3bb4231037c8b7877d36492f5f6f6c51e8815e72a70a1"},"schema_version":"1.0"},"canonical_sha256":"19cef251616e1f436984a63814981f5d28437932da1f9ac37948eb26dfa98c52","source":{"kind":"arxiv","id":"0905.2355","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0905.2355","created_at":"2026-05-18T00:58:20Z"},{"alias_kind":"arxiv_version","alias_value":"0905.2355v1","created_at":"2026-05-18T00:58:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.2355","created_at":"2026-05-18T00:58:20Z"},{"alias_kind":"pith_short_12","alias_value":"DHHPEULBNYPU","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"DHHPEULBNYPUG2ME","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"DHHPEULB","created_at":"2026-05-18T12:25:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:DHHPEULBNYPUG2MEUY4BJGA7LU","target":"record","payload":{"canonical_record":{"source":{"id":"0905.2355","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-05-14T15:52:40Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"15801e62baef18c10a2d75f3eb4f1ab1cec514e26aa8c3b5ec40ec581e2536b1","abstract_canon_sha256":"63747f9374c0ee84e5d3bb4231037c8b7877d36492f5f6f6c51e8815e72a70a1"},"schema_version":"1.0"},"canonical_sha256":"19cef251616e1f436984a63814981f5d28437932da1f9ac37948eb26dfa98c52","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:58:20.186564Z","signature_b64":"Pkn0TBjEbkzRKmpiThX0KdzoC/qA6lM8sIHBJOIRfhogzl5uKDtt1NKXfNxNMahe+/kBE71Oj70602Knd8RuAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19cef251616e1f436984a63814981f5d28437932da1f9ac37948eb26dfa98c52","last_reissued_at":"2026-05-18T00:58:20.185939Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:58:20.185939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0905.2355","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:58:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7qqv8zPNSDNctiO1vi/lC7qW7u6o22473aMSoOcvoRZKunABAtHHTg7SVpNKGIZ7S4fVQKoDWg9u20yjBVxaAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T04:27:41.096781Z"},"content_sha256":"5af44b85635d747b3013879eefc3466eff7124a514ab1c210a839ad8b486a701","schema_version":"1.0","event_id":"sha256:5af44b85635d747b3013879eefc3466eff7124a514ab1c210a839ad8b486a701"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:DHHPEULBNYPUG2MEUY4BJGA7LU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Gilles Motet, Zhe Chen","submitted_at":"2009-05-14T15:52:40Z","abstract_excerpt":"Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches of modeling system safety requirements and interaction constraints among components and with environments (e.g., between humans and machines). This paper proposes a framework based on input/output constraint meta-automata, which restricts system behavior at the meta level. This approach can formally model safe interactions between a system and its environment or among its components. This framework differs from the f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.2355","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:58:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3xwL1j26Li45wjPWwy/iEv/xDtnaAu2pIvrrAhfcUVFSe3qc2kxdTB8T8VTDDTAi7svDqxOa3Ya7rWexMoupAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T04:27:41.097119Z"},"content_sha256":"c8187f337ef076974d5178fd3cdf70ad30c155f8bd1aa1e0983c2c438020890f","schema_version":"1.0","event_id":"sha256:c8187f337ef076974d5178fd3cdf70ad30c155f8bd1aa1e0983c2c438020890f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DHHPEULBNYPUG2MEUY4BJGA7LU/bundle.json","state_url":"https://pith.science/pith/DHHPEULBNYPUG2MEUY4BJGA7LU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DHHPEULBNYPUG2MEUY4BJGA7LU/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-28T04:27:41Z","links":{"resolver":"https://pith.science/pith/DHHPEULBNYPUG2MEUY4BJGA7LU","bundle":"https://pith.science/pith/DHHPEULBNYPUG2MEUY4BJGA7LU/bundle.json","state":"https://pith.science/pith/DHHPEULBNYPUG2MEUY4BJGA7LU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DHHPEULBNYPUG2MEUY4BJGA7LU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:DHHPEULBNYPUG2MEUY4BJGA7LU","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":"63747f9374c0ee84e5d3bb4231037c8b7877d36492f5f6f6c51e8815e72a70a1","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-05-14T15:52:40Z","title_canon_sha256":"15801e62baef18c10a2d75f3eb4f1ab1cec514e26aa8c3b5ec40ec581e2536b1"},"schema_version":"1.0","source":{"id":"0905.2355","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0905.2355","created_at":"2026-05-18T00:58:20Z"},{"alias_kind":"arxiv_version","alias_value":"0905.2355v1","created_at":"2026-05-18T00:58:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0905.2355","created_at":"2026-05-18T00:58:20Z"},{"alias_kind":"pith_short_12","alias_value":"DHHPEULBNYPU","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"DHHPEULBNYPUG2ME","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"DHHPEULB","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:c8187f337ef076974d5178fd3cdf70ad30c155f8bd1aa1e0983c2c438020890f","target":"graph","created_at":"2026-05-18T00:58:20Z","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":"Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches of modeling system safety requirements and interaction constraints among components and with environments (e.g., between humans and machines). This paper proposes a framework based on input/output constraint meta-automata, which restricts system behavior at the meta level. This approach can formally model safe interactions between a system and its environment or among its components. This framework differs from the f","authors_text":"Gilles Motet, Zhe Chen","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-05-14T15:52:40Z","title":"Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0905.2355","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:5af44b85635d747b3013879eefc3466eff7124a514ab1c210a839ad8b486a701","target":"record","created_at":"2026-05-18T00:58:20Z","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":"63747f9374c0ee84e5d3bb4231037c8b7877d36492f5f6f6c51e8815e72a70a1","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2009-05-14T15:52:40Z","title_canon_sha256":"15801e62baef18c10a2d75f3eb4f1ab1cec514e26aa8c3b5ec40ec581e2536b1"},"schema_version":"1.0","source":{"id":"0905.2355","kind":"arxiv","version":1}},"canonical_sha256":"19cef251616e1f436984a63814981f5d28437932da1f9ac37948eb26dfa98c52","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19cef251616e1f436984a63814981f5d28437932da1f9ac37948eb26dfa98c52","first_computed_at":"2026-05-18T00:58:20.185939Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:20.185939Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Pkn0TBjEbkzRKmpiThX0KdzoC/qA6lM8sIHBJOIRfhogzl5uKDtt1NKXfNxNMahe+/kBE71Oj70602Knd8RuAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:20.186564Z","signed_message":"canonical_sha256_bytes"},"source_id":"0905.2355","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5af44b85635d747b3013879eefc3466eff7124a514ab1c210a839ad8b486a701","sha256:c8187f337ef076974d5178fd3cdf70ad30c155f8bd1aa1e0983c2c438020890f"],"state_sha256":"dcbc4a5bebe0ec0ee7113f76671488271620232b291dba8ec47953d93577efbd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zN4feOngnTrWJrubDTeksqI1LDtuPKGfXDCLZMHVKyqkz723X9k8uSsffZvsancBPJknlQNwzzhu/tiYkO89CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T04:27:41.098905Z","bundle_sha256":"d6ae081dc899b642dcb1a8bf91d058565cd529891f4dfc911d27988893d30667"}}