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
Über-the-Air (OTA) Updates für Cyber-Physical Systems (CPS) erlauben Ingenieuren, ihre Software drahtlos zu modifizieren. Im Automobilbereich ermöglichen sie Herstellern, Software ohne physischen Zugang zum Fahrzeug zu aktualisieren. Allerdings können OTA-Updates eine große Anzahl von möglichen Software-Konfigurationen erzeugen. Zum Beispiel können Endnutzer entscheiden, ob sie eine bestimmte OTA-Update installieren oder nicht. Die kombinatorische Explosion dieser Konfigurationen behindert SW-Tests, eine Standardpraxis für die Erkennung von Fehlern in CPS. Um diese Einschränkung zu überwinden, schlagen wir CRISP (Criticality-Based Selection and Priority) vor.
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