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

Andrea Bombarda, Luca Carminati, Nunzio Marco Bisceglia +5

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 softw…