The Taub Faculty of Computer Science Events and Talks

Real-time systems are designed to respond to external stimuli and complete tasks within a predetermined timeframe. The development of these systems often involves the use of cycle-accurate simulation environments and digital twin systems to accurately model the system and its operating environment. Ensuring high reliability and security in real-time systems is essential, and the development environment must incorporate events related to reliability, such as sensor failure and subsystem malfunction, as well as cyber security attacks. This thesis proposes a cyber attack simulation infrastructure that extends simulation environments of real-time systems and incorporates events related to reliability and advanced cyber security attacks, including attacks on single and multiple sensors. The proposed infrastructure also enables the use of simulation capabilities to train data-based algorithms, such as machine learning, which is difficult to achieve on live systems. The proposed environment is validated using a drone’s flight control system and navigation system, which utilizes machine learning algorithms. To support the proposed environment, the SCART framework and dataset are introduced, which efficiently increase model accuracy and significantly reduce false-positive rates. Some of these experiments were also validated using a set of ” real drones“. Kfir is an M.Sc. student under the supervision of Prof. Avi Mendelson.