🔄 First Visit: Redirecting automatically to original journal site...
⏸️ STOP REDIRECT & STAY ON PAGEOTA fault injection and rollback verification framework for safety-critical systems | Multidisciplinary Research in Computing Information Systems
Abstract
Abstract
Safety-critical systems in aviation and nuclear control must keep OTA software updates safe and stable to avoid faults during remote deployment. This study built a Monte Carlo–based test and rollback system to check OTA reliability under different fault types. Eight common failures—such a network loss, image damage, and signature errors—were tested in 1,000 OTA update runs. The system reached a 96.2% automatic recovery rate, an average recovery time of 13.2 seconds, and 100% log accuracy. These results show that the setup can find, control, and recover from multiple faults effectively. The design follows DO-178C and ARINC 653 safety rules and provides clear data support for system validation. The framework gives a simple and practical way to test OTA safety in aviation, nuclear, and other control systems and can be expanded to field networks for large-scale reliability studies.
Safety-critical systems in aviation and nuclear control must keep OTA software updates safe and stable to avoid faults during remote deployment. This study built a Monte Carlo–based test and rollback system to check OTA reliability under different fault types. Eight common failures—such a network loss, image damage, and signature errors—were tested in 1,000 OTA update runs. The system reached a 96.2% automatic recovery rate, an average recovery time of 13.2 seconds, and 100% log accuracy. These results show that the setup can find, control, and recover from multiple faults effectively. The design follows DO-178C and ARINC 653 safety rules and provides clear data support for system validation. The framework gives a simple and practical way to test OTA safety in aviation, nuclear, and other control systems and can be expanded to field networks for large-scale reliability studies.