{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:Z2MI6XTSXWCYT6726Q3XPWDHQL","short_pith_number":"pith:Z2MI6XTS","schema_version":"1.0","canonical_sha256":"ce988f5e72bd8589fbfaf43777d86782e1ee47fb017ee76fd3b0fbd923e65a6e","source":{"kind":"arxiv","id":"1603.05069","version":1},"attestation_state":"computed","paper":{"title":"Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"John Baras, Shige Wang, Yuchen Zhou","submitted_at":"2016-03-16T12:50:51Z","abstract_excerpt":"Modern cyber-physical systems (CPS) have a close inter-dependence between software and physical components. Automotive embedded systems are typical CPS, as physical chips, sensors and actuators are physical components and software embedded within are the cyber components. The current stage of embedded systems is highly complex in architecture design for both software and hardware. It is common in industrial practice that high level control algorithm development and low level code implementation on hardware platforms are developed separately with limited shared information. However, software co"},"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":"1603.05069","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-03-16T12:50:51Z","cross_cats_sorted":[],"title_canon_sha256":"a98a135a248d5183bd3f75a94e8f7ad16104ae7b10f3e53a2e2d015580c35e5f","abstract_canon_sha256":"a6cd426728eb648623914de4a561bdb407c370c12fd068666e2c80a5fdac6314"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:18:58.085514Z","signature_b64":"WmnOosmJcNxA6RyL0q25wlLrdM66BciUqgNRCOm1g0EDwxvdwJusfes+6cq7Vg0arQxHrE11Rn6r0/gvrmjzDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce988f5e72bd8589fbfaf43777d86782e1ee47fb017ee76fd3b0fbd923e65a6e","last_reissued_at":"2026-05-18T01:18:58.085111Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:18:58.085111Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"John Baras, Shige Wang, Yuchen Zhou","submitted_at":"2016-03-16T12:50:51Z","abstract_excerpt":"Modern cyber-physical systems (CPS) have a close inter-dependence between software and physical components. Automotive embedded systems are typical CPS, as physical chips, sensors and actuators are physical components and software embedded within are the cyber components. The current stage of embedded systems is highly complex in architecture design for both software and hardware. It is common in industrial practice that high level control algorithm development and low level code implementation on hardware platforms are developed separately with limited shared information. However, software co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.05069","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":"1603.05069","created_at":"2026-05-18T01:18:58.085179+00:00"},{"alias_kind":"arxiv_version","alias_value":"1603.05069v1","created_at":"2026-05-18T01:18:58.085179+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.05069","created_at":"2026-05-18T01:18:58.085179+00:00"},{"alias_kind":"pith_short_12","alias_value":"Z2MI6XTSXWCY","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_16","alias_value":"Z2MI6XTSXWCYT672","created_at":"2026-05-18T12:30:53.716459+00:00"},{"alias_kind":"pith_short_8","alias_value":"Z2MI6XTS","created_at":"2026-05-18T12:30:53.716459+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/Z2MI6XTSXWCYT6726Q3XPWDHQL","json":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL.json","graph_json":"https://pith.science/api/pith-number/Z2MI6XTSXWCYT6726Q3XPWDHQL/graph.json","events_json":"https://pith.science/api/pith-number/Z2MI6XTSXWCYT6726Q3XPWDHQL/events.json","paper":"https://pith.science/paper/Z2MI6XTS"},"agent_actions":{"view_html":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL","download_json":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL.json","view_paper":"https://pith.science/paper/Z2MI6XTS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1603.05069&json=true","fetch_graph":"https://pith.science/api/pith-number/Z2MI6XTSXWCYT6726Q3XPWDHQL/graph.json","fetch_events":"https://pith.science/api/pith-number/Z2MI6XTSXWCYT6726Q3XPWDHQL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL/action/storage_attestation","attest_author":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL/action/author_attestation","sign_citation":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL/action/citation_signature","submit_replication":"https://pith.science/pith/Z2MI6XTSXWCYT6726Q3XPWDHQL/action/replication_record"}},"created_at":"2026-05-18T01:18:58.085179+00:00","updated_at":"2026-05-18T01:18:58.085179+00:00"}