{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:WWBLGRGADTCBIJ6RGBLIJHSFC3","short_pith_number":"pith:WWBLGRGA","schema_version":"1.0","canonical_sha256":"b582b344c01cc41427d13056849e4516f84209bc99591d02a6723ba87fe0e70b","source":{"kind":"arxiv","id":"2009.06089","version":2},"attestation_state":"computed","paper":{"title":"Model-based analysis support for dependable complex systems in CHESS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta","submitted_at":"2020-09-13T21:13:58Z","abstract_excerpt":"The challenges related to dependable complex systems are heterogeneous and involve different aspects of the system. On one hand, the decision-making processes need to take into account many options. On the other hand, the design of the system's logical architecture must consider various dependability concerns such as safety, reliability, and security. Moreover, in case of high-assurance systems, the analysis of such concerns must be performed with rigorous methods. In this paper, we present the new development of CHESS, a cross-domain, model-driven, component-based, and open-source tool for th"},"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":"2009.06089","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-13T21:13:58Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2c8c04b527e0843e4f0d37d347b51a5bbee4bdff47130de4160106e75512fd10","abstract_canon_sha256":"cd3950183378cecf6b21c5e08f3bee75c16dd92b098f7349898c55b8b40edf9c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:51:21.588190Z","signature_b64":"Njdhah4Xv4AE5olYgbBbaliyF9GZXoEMjlF3aabJH85+o04ovNWwNo3nSTAEo/A3qRygx3LrybzysBkNV0/FAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b582b344c01cc41427d13056849e4516f84209bc99591d02a6723ba87fe0e70b","last_reissued_at":"2026-07-05T01:51:21.587736Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:51:21.587736Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model-based analysis support for dependable complex systems in CHESS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta","submitted_at":"2020-09-13T21:13:58Z","abstract_excerpt":"The challenges related to dependable complex systems are heterogeneous and involve different aspects of the system. On one hand, the decision-making processes need to take into account many options. On the other hand, the design of the system's logical architecture must consider various dependability concerns such as safety, reliability, and security. Moreover, in case of high-assurance systems, the analysis of such concerns must be performed with rigorous methods. In this paper, we present the new development of CHESS, a cross-domain, model-driven, component-based, and open-source tool for th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.06089","kind":"arxiv","version":2},"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/2009.06089/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":"2009.06089","created_at":"2026-07-05T01:51:21.587811+00:00"},{"alias_kind":"arxiv_version","alias_value":"2009.06089v2","created_at":"2026-07-05T01:51:21.587811+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.06089","created_at":"2026-07-05T01:51:21.587811+00:00"},{"alias_kind":"pith_short_12","alias_value":"WWBLGRGADTCB","created_at":"2026-07-05T01:51:21.587811+00:00"},{"alias_kind":"pith_short_16","alias_value":"WWBLGRGADTCBIJ6R","created_at":"2026-07-05T01:51:21.587811+00:00"},{"alias_kind":"pith_short_8","alias_value":"WWBLGRGA","created_at":"2026-07-05T01:51:21.587811+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/WWBLGRGADTCBIJ6RGBLIJHSFC3","json":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3.json","graph_json":"https://pith.science/api/pith-number/WWBLGRGADTCBIJ6RGBLIJHSFC3/graph.json","events_json":"https://pith.science/api/pith-number/WWBLGRGADTCBIJ6RGBLIJHSFC3/events.json","paper":"https://pith.science/paper/WWBLGRGA"},"agent_actions":{"view_html":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3","download_json":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3.json","view_paper":"https://pith.science/paper/WWBLGRGA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2009.06089&json=true","fetch_graph":"https://pith.science/api/pith-number/WWBLGRGADTCBIJ6RGBLIJHSFC3/graph.json","fetch_events":"https://pith.science/api/pith-number/WWBLGRGADTCBIJ6RGBLIJHSFC3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3/action/storage_attestation","attest_author":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3/action/author_attestation","sign_citation":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3/action/citation_signature","submit_replication":"https://pith.science/pith/WWBLGRGADTCBIJ6RGBLIJHSFC3/action/replication_record"}},"created_at":"2026-07-05T01:51:21.587811+00:00","updated_at":"2026-07-05T01:51:21.587811+00:00"}