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

Russian

Овер-the-air (OTA) обновления для Cyber-Physical Systems (CPS) позволяют инженерам модифицировать свое программное обеспечение беспроводно. В автомобильной сфере они позволяют производителям обновлять программное обеспечение без физического доступа к транспортному средству. Однако обновления OTA могут генерировать большое количество возможных конфигураций программного обеспечения. Например, конечные пользователи могут решить, устанавливать или не устанавливать какие-либо данные обновления OTA. Комбинаторный взрыв этих конфигураций препятствует тестированию SW, стандартной практике для обнаружения ошибок в CPS. Чтобы преодолеть это ограничение, мы предлагаем CRISP (Criticality-based Selection and Priority).

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