Modelling Security Risks in Real-Time Operating Systems
Jan Kiszka, Bernardo Wagner · 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) · 2007
Formerly isolated RTOSes are increasingly facing security issues due to including now standard IT components and being exposed to public networks. In this paper, GenRTOS is introduced, a generic low-level RTOS model that aims at the analysis of those risks in a portable way. Possible attacks on GenRTOS are worked out and quantified. Moreover, potential countermeasures are suggested.