Andrea Bombarda, Luca Carminati, Nunzio Marco Bisceglia, Mehrnoosh Askarpour, Sahar Kokaly, Ramesh S, Marsha Chechik, Claudio Menghi · 2026 · arXiv
DOI: 10.48550/arXiv.2610.24475 · open-access PDF
Cyber-Physical Systems (CPS) 向けの Over-the-Air (OTA) アップデートにより、エンジニアは無線でソフトウェアを変更できるようになります。自動車業界では、自動車に物理的にアクセスすることなくソフトウェアをアップデートすることを可能にします。しかし、OTA アップデートは多くのソフトウェア構成を生成することができます。例えば、エンドユーザーは、特定の OTA アップデートをインストールするかどうかを決定することができます。これらの構成の組み合わせ爆発は、CPS でエラーを検出するための標準的な慣行である SW テストを妨げます。この制限を克服するために、CRISP (Criticality Based Selection and Priority) を提案します。
Machine translation (Meta M2M100); the English original follows.
Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly. In the automotive domain, they enable manufacturers to update software without physical access to the vehicle. However, OTA updates can generate a large number of possible software configurations. For example, end users may decide whether or not to install any given OTA updates. The combinatorial explosion of these configurations hampers SW testing, a standard practice for detecting errors in CPS. To overcome this limitation, we propose CRISP (CRIticality-based Selection and Priorit
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.24475, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange