Using Open Source Tools for Programs Source Code Static Analysis in the Process of Developing Applications for Real-Time Operating Systems

V. A. Galatenko , e-mail: galat@niisi.msk.ru, K. A. Kostukhin , e-mail: kost@niisi.msk.ru, N. V. Shmyrev , e-mail: shmyrev@niisi.msk.ru, M. S. Aristov , e-mail: maristov@niisi.ras.ru

Modern real-time operating systems (RTOS) have some characteristics related to the particular of inferior quality. In this paper typical RTOS developers errors discussed, as well as methods of diagnosis and detection of these errors based on the use of static analysis of source code

Keywords: static analysis, debugging, RTOS

pp. 2–5