{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:KWW7YTMDEPJRKGTMDCJA3CVOOF","short_pith_number":"pith:KWW7YTMD","schema_version":"1.0","canonical_sha256":"55adfc4d8323d3151a6c18920d8aae717a8910970456022ccf4d069b0920392a","source":{"kind":"arxiv","id":"2507.18223","version":1},"attestation_state":"computed","paper":{"title":"GenAI for Automotive Software Development: From Requirements to Wheels","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Alois Knoll, Andre Schamschurko, Fengjunjie Pan, Krzysztof Lebioda, Nenad Petrovic, Vahid Zolfaghari","submitted_at":"2025-07-24T09:17:13Z","abstract_excerpt":"This paper introduces a GenAI-empowered approach to automated development of automotive software, with emphasis on autonomous and Advanced Driver Assistance Systems (ADAS) capabilities. The process starts with requirements as input, while the main generated outputs are test scenario code for simulation environment, together with implementation of desired ADAS capabilities targeting hardware platform of the vehicle connected to testbench. Moreover, we introduce additional steps for requirements consistency checking leveraging Model-Driven Engineering (MDE). In the proposed workflow, Large Langu"},"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":"2507.18223","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-24T09:17:13Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4e78751a0104530dec336cc23430d255bd4a24d6da832b08b2c7afca89497fdf","abstract_canon_sha256":"e229c5d4c6b3879747a241cfaf278b1717fae3ff587fdd98a5d560bcef888463"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:42:43.958601Z","signature_b64":"QvNKS0Whu3IfxRZkY7ltt/V5BNY5e9oUFs+/PCq2EGLFnAvyqMDDt9IZ794gH9swKzq+fbSvTp7lUO1DYJjBBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"55adfc4d8323d3151a6c18920d8aae717a8910970456022ccf4d069b0920392a","last_reissued_at":"2026-07-05T11:42:43.958164Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:42:43.958164Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"GenAI for Automotive Software Development: From Requirements to Wheels","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Alois Knoll, Andre Schamschurko, Fengjunjie Pan, Krzysztof Lebioda, Nenad Petrovic, Vahid Zolfaghari","submitted_at":"2025-07-24T09:17:13Z","abstract_excerpt":"This paper introduces a GenAI-empowered approach to automated development of automotive software, with emphasis on autonomous and Advanced Driver Assistance Systems (ADAS) capabilities. The process starts with requirements as input, while the main generated outputs are test scenario code for simulation environment, together with implementation of desired ADAS capabilities targeting hardware platform of the vehicle connected to testbench. Moreover, we introduce additional steps for requirements consistency checking leveraging Model-Driven Engineering (MDE). In the proposed workflow, Large Langu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.18223","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/2507.18223/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":"2507.18223","created_at":"2026-07-05T11:42:43.958222+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.18223v1","created_at":"2026-07-05T11:42:43.958222+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.18223","created_at":"2026-07-05T11:42:43.958222+00:00"},{"alias_kind":"pith_short_12","alias_value":"KWW7YTMDEPJR","created_at":"2026-07-05T11:42:43.958222+00:00"},{"alias_kind":"pith_short_16","alias_value":"KWW7YTMDEPJRKGTM","created_at":"2026-07-05T11:42:43.958222+00:00"},{"alias_kind":"pith_short_8","alias_value":"KWW7YTMD","created_at":"2026-07-05T11:42:43.958222+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.15223","citing_title":"GenAI-Driven Approach to RISC-V Supply Chain Exploration","ref_index":31,"is_internal_anchor":false},{"citing_arxiv_id":"2511.01423","citing_title":"LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations","ref_index":21,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF","json":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF.json","graph_json":"https://pith.science/api/pith-number/KWW7YTMDEPJRKGTMDCJA3CVOOF/graph.json","events_json":"https://pith.science/api/pith-number/KWW7YTMDEPJRKGTMDCJA3CVOOF/events.json","paper":"https://pith.science/paper/KWW7YTMD"},"agent_actions":{"view_html":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF","download_json":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF.json","view_paper":"https://pith.science/paper/KWW7YTMD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.18223&json=true","fetch_graph":"https://pith.science/api/pith-number/KWW7YTMDEPJRKGTMDCJA3CVOOF/graph.json","fetch_events":"https://pith.science/api/pith-number/KWW7YTMDEPJRKGTMDCJA3CVOOF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF/action/storage_attestation","attest_author":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF/action/author_attestation","sign_citation":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF/action/citation_signature","submit_replication":"https://pith.science/pith/KWW7YTMDEPJRKGTMDCJA3CVOOF/action/replication_record"}},"created_at":"2026-07-05T11:42:43.958222+00:00","updated_at":"2026-07-05T11:42:43.958222+00:00"}