Siberian Division of the Russian Academy of Sciences A. P. Ershov Institute of Informatics Systems