ADAPTIVE LEARNING OF FAULT‑TOLERANT SOFTWARE ENGINEERING FOR UAV AND NANOSATELLITE ONBOARD COMPUTING
An educational methodology that combines adaptive intelligent tutoring with formal verification techniques to train students to train students to design, analyze, and formally prove the correctness of reliability-related algorithms used in onboard computing systems for safety-critical aerospace systems is developed.
Ihor Turkin, A. Chukhray, Oleksandr Yevdokymov et al.
· 0 citations