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
Pembaruan Over-the-Air (OTA) untuk Cyber-Physical Systems (CPS) memungkinkan insinyur untuk mengubah perangkat lunak mereka secara nirkabel. Dalam domain otomotif, mereka memungkinkan produsen untuk memperbarui perangkat lunak tanpa akses fisik ke kendaraan. Namun, pembaruan OTA dapat menghasilkan sejumlah besar konfigurasi perangkat lunak yang mungkin. Misalnya, pengguna akhir dapat memutuskan apakah untuk menginstal atau tidak menginstal pembaruan OTA tertentu. Ledakan kombinasi konfigurasi ini menghalangi pengujian SW, praktik standar untuk mendeteksi kesalahan dalam CPS. Untuk mengatasi batasan ini, kami mengusulkan 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