Newest papers

Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection

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

Hindi

साइबर भौतिक सिस्टम (सीपीएस) के लिए ओवर-एयर-एयर (ओटीए) अद्यतन इंजीनियरों को अपने सॉफ्टवेयर को वायरलेस रूप से संशोधित करने की अनुमति देते हैं। ऑटोमोबाइल क्षेत्र में, वे निर्माताओं को वाहन तक भौतिक पहुंच के बिना सॉफ्टवेयर को अपडेट करने की अनुमति देते हैं। हालांकि, ओटीए अद्यतन कई संभावित सॉफ्टवेयर कॉन्फ़िगरेशन उत्पन्न कर सकते हैं। उदाहरण के लिए, अंत उपयोगकर्ता किसी भी दिए गए ओटीए अद्यतन को स्थापित करने का निर्णय ले सकते हैं या नहीं। इन कॉन्फ़िगरेशनों का संयोजन विस्फोट एसवी परीक्षण को बाधित करता है, जो सीपीएस में त्रुटियों का पता लगाने

Machine translation (Meta M2M100); the English original follows.

Abstract

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

Sources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange