Translated by

Institute of system programming of ISP RAS


The institute is one of the organizations in information technology field and enters into Department of mathematical sciences of RAS.

Russian Academy of Sciences (RAS)
Number of employees
2011 year



+ Institute of system programming (ISP RAS)


Activity of Institute is conducted in the following three directions:

  • basic researches,
  • application studies for the benefit of the industry and
  • education.

These directions have strong cross impact. Students and graduate students of Institute participate in projects of basic and application studies. Results of basic researches are used in applications. Application studies define the directions of basic researches. Researches are conducted on a wide range of questions of system programming.

Business activity

About 60-65% of the budget of Institute of system programming of RAS (ISP RAS) consist of contracts with the foreign companies, CNews in March, 2011 the director of institute told,[1]. The institute receives other means from RAS, the Ministry of Education and Science, from the Russian Federal Property Fund (RFPF) and from contracts with different departments and commercial firms in Russia.

"As to the director, of course, it would be desirable for me that this balance was at least 50х50, - Ivannikov argues. - And such process goes now: there are Russian organizations – both commercial, and different departments - which are necessary to technology. Ten years ago they were not at all. We paid taxes on a large sum, than gave us the state, actually training students at own expense – at the expense of those contracts which we received".

Working costs of one specialist over contract projects at institute are estimated from $65-75 thousand a year. At the same time it happens that the western companies entice specialists of institute to themselves.

"There were cases when the companies impudently took away our people. However, similar occurs infrequently because most corporations after all adhere to ethics", - the director of ISP RAS notes. In total at institute, according to Ivannikov, there are about 200 programmers.

Despite considerable experience of development of programs from scratch, yet does not consider the possibility to put trade in them on ISP RAS flow. "If to look at any company, even software, then in it you will see only 10% of developers, and 90% - administrations, maintenances, sellers, marketing, etc. We have about 200 programmers. Respectively, in order that we could sell successfully, we should have one thousand two people, turning on both marketing specialists, and sellers. These are people with other mentality, with other morality. Very not easy to do all this, and we are not engaged in it. We develop technologies and we implement them in other organizations", – Ivannikov notes.

Cooperation with Samsung

The largest contracts at ISP RAS are signed with Samsung company. In particular, the foreign partner pays institute about $500 thousand a year for development of the system of Svace - the instrument of detection of vulnerabilities and critical errors in software products which the company uses, for example, in the smartphones and mobile computers.

As explained CNews in 2016, development of this software the institute began more than 10 with Nortel company back. Afterwards the project received grants from the Ministry of Education and Science and from the Russian Federal Property Fund. About two years cooperate with Samsung on this ISP RAS project, the director of institute says.

By request of the same company the institute is engaged in optimization of compilers for ARM processors. According to Ivannikov, all at the moment at ISP RAS several contracts with a total amount about $1.5-2 million are signed with Samsung.

Problems of intellectual property in works on contracts are particularly acute very much, Victor Ivannikov notes: these questions make a reservation every time before signing of the contract.

"If we start software development from scratch for the company which delivers proprietary software products, then all intellectual property rights belong to this company. At best in the contract it can be written that we can use it software for the educational or scientific purposes too, - the academician says. - If development of any software began before signing of the contract with the company, the exclusive rights belong to institute, and to the customer the non-exclusive right to use of a product is in most cases assigned". According to the last scheme, for example, the rights to Svace between ISP RAS and Samsung are distributed.

One of projects on which ISP RAS worked by request of Samsung earlier are technologies of energy saving for accumulators. In particular, the institute developed the compiler allowing to create software capable if necessary to call the commands of the processor changing its clock rate and, thus to control power consumption. According to Ivannikov, perhaps, works on this direction will be resumed.

IoT Samsung Academy in MIPT

The Samsung Electronics company with assistance of Institute of system programming of RAS started in October, 2017 based on Moscow Institute of Physics and Technology the IoT Samsung Academy project within which students of university will be able to gain practical knowledge of Internet of Things and to develop own projects using "smart" devices. The tripartite agreement about project implementation is signed on October 10.

Cooperation with Nokia

For March, 2011 at institute the contract with Nokia – on development of binders of big programs for mobile phones is signed. But the amount of this contract is slightly less, than with Samsung on development of Svace.

In addition to Samsung and the ISP RAS Nokia also periodically performs works on the contract for Microsoft Research, HP, Intel.

Development of the open source software

In addition to contracts with business companies, ISP RAS takes active part in open projects, the truth these projects are not always successful.

One of the software solutions developed by ISP RAS from scratch is the free DBMS for storage and management of XML-data Sedna extended under the license Apache License 2.0. The product, according to specialists, turned out very qualitative, but, according to Ivannikov, this DBMS use, generally only the academic and small commercial organizations.

Besides, the institute cooperates with Linux Foundation (the consortium including more than 70 IT suppliers). A few years ago ISP RAS together with Linux Foundation released the program of testing of different software for compliance of Linux Standard Base - to the fundamental modern standard defining requirements of compatibility with Linux systems. It was supposed that test will be passed by developers of the Linux distribution kits and the proprietary software, and the certificate received as a result should guarantee that this or that proprietary program is compatible to the free OS which also underwent certification. But it was not succeeded to warm great interest to certification, at least, from proprietary developers yet.


Staff of Institute participated in a number of large projects of the USSR such as:

  • the software for the well-known machine BESM-6, including the D-68 (1968) operating system and real-time system ND-70 (1971);

  • architecture and the software of the distributed heterogeneous AS-6 (1979) system which was operated within more than 10 years in Mission control centers;

2020: A grant on carrying out scientific research of production technologies and certification of software with increased requirements to reliability and security

On March 4, 2020 the group Astra Linux reported that it became the main industrial partner of Institute system programming of V.P. Ivannikov Russian Academy of Sciences (ISP RAS) again. The company will provide joint financing of researches of production technologies and software certification with increased requirements to reliability and security on the basis of formal methods of modeling and verification. Participation of Astra Linux Group in financing of these researches is defined by conditions of providing a grant which the Institute received within scientifically Russia the federal target program "Research and Development in the Priority Directions of Development — a Technology Complex for 2014 - 2020".

One of the key areas of work – development of technologies and work benches of representation and verification in the formalized machine-readable language of a mathematical model access controls. Astra Linux Group is interested in results of such researches as operating system special purpose protection (OSSN) is based on this model Astra Linux Special Edition.

Application of these work benches, on the one hand, allows to increase quality of development and to ensure safety of OSSN, and with another – is directed to accomplishment of "The requirements for security of information approved by the Order of FSTEC of Russia of 7/30/2018 No. 131 setting the trust levels to means of information technical protection and security protections of information technologies". These requirements work since June 1, 2019 at the initiative of FSTEC of Russia in whose system of certification of OSSN Astra Linux Special Edition has the first class of protection and, therefore, the maximum level of trust.

"ISP RAS and Astra Linux Group develop partnership since 2013. We appreciate participation of developers of information security tools in the researches conducted by us and also their joint financing. It allows to concentrate our efforts on the directions in which leaders of domestic information security market are interested, of the solutions of regulators focused on accomplishment and also it gives the chance to create and implement our high technologies and work benches in solutions of the Russian developers, to see results of their work",

Except a research of the technologies applied in work benches of verification of management model by access which ISP RAS conducts within works on a grant when developing the information security tools applying for high levels of confidence the broad spectrum of means of static and dynamic analysis of a program code, collecting of routes of its accomplishment, testing for penetration, the analysis of the marked data, etc. is necessary. Effectively to use these means, to process and analyze results of their work, constantly functioning technical infrastructure of fulfillment of requirements of trust (test stands, databases of defects of a program code, the environment of continuous development, etc.) and also an opportunity to apply the corresponding scientific approaches in the daily work is necessary for the developer.

"Cooperation on behalf of ISP RAS with the Russian academic science became an integral part of scientific maintenance of development of our protected operating system and ensuring trust to it. Some from used for this purpose by technologies, for example, development of a mathematical model of access control, we initially owned. Several other technologies, for example, deductive verification of this model, we could master quite recently. At the same time interaction with ISP RAS allows us not only to conform to requirements of trust imposed by the relevant regulatory base and with which accomplishment we can have difficulties. It first of all gives us the chance to glance in the future, to investigate and approve on our operating system the most advanced technologies of ensuring trust to information security tools, to make them property of domestic information security market. The mission of Astra Linux Group as industrial partner of ISP RAS is directed to it",

2019: Opening joint with Huawei R&D-лаборатории on development of development tools of software

The institute of system programming of V.P. Ivannikov of the Russian Academy of Sciences (ISP RAS) and the Russian research institute Huawei (Huawei Russian Research Institute) within strategic partnership created joint laboratory which work will be directed to research and development in the field of compiler technologies and components of operating systems. On December 5, 2019 announced this TAdviser in Huawei company.

Development tools and compilers in particular (a set of programs and technical means on transfer of a programming language of the high level to the simplified computer code) are a fundamental basis for creation of the software of different modern devices: from the smartwatch, TVs, mobile phones to server platforms.

It is expected that such format of cooperation will allow to combine experience and efforts of research associates of ISP RAS and leading experts of Huawei company for development of disruptive approaches in creation of advanced devices of mass use.

The priority directions of joint work will become:

  • development of instruments of optimization of components of mobile operating systems, including – compilers and virtual machines;
  • creation of instruments of increase in productivity of work of the programmer (at stages of all lifecycle of software development);
  • development of instruments of profiling, debugging and emulation (will be created for specific devices of the company).

Development of such knowledge-intensive industry as compiler technologies, is impossible without a qualitative feedback from the industry. Therefore cooperation with the companies of scale Huawei is competitive advantage in global market R&D – research and development and also qualitatively influences education, – the director of ISP RAS Arutyun Avetisyan said. – We are in return ready to provide to Huawei our experience in this area. For example, we have four revyyuer who are officially recognized in community – compiler writers of GCC.

Huawei is aimed at long-term cooperation with ISP RAS. We are going to help institute with training of new specialists and researchers in the field of key technologies of system programming and also together to find solutions of relevant tasks for creation of world-best devices of mass use, – Sergey Yakushkin, the head of compilers of the Russian research center Huawei noted. – Development of such knowledge-intensive area as compiler technologies is impossible without cooperation between the industry and researchers. The analysis of programs which is built in tools and search of errors, compilation speed, time of restart and debugging define productivity of software development and development of all ecosystem of applications, and the quality of the optimizing compilers and virtual machines influences work of the operating system and user applications that as a result creates the user experience, smoothness of interfaces and duration of work from the battery.

2017: ISP RAS in Latin America

ISP RAS signed in April, 2017 the agreement on scientific cooperation with the Republican university of Uruguay (Universidad de la República, [2] The agreement purpose - assistance to development and distribution of cultural ties, scientific and technology researches and the higher education. Making the decision to develop cooperation, the institute and the university were guided by the agreement between RAS and UDELAR signed in the same time.

ISP RAS and the university already have an experience of scientific exchange and joint participation in actions in the field of high technologies. The director of ISP RAS, the corresponding member of RAS Arutyun Avetisyan commented:
'UDELAR, one of considerable universities of Latin America with good competences of such areas as Big Data and distributed systems, can help Institute to increase scientific communications with the region, is essential to increase our presence in the countries of Latin America. We speak not only about basic researches, but also about implementations of ISP RAS technologies in the industry'.


  1. the academician Victor Ivannikov Programmistov of RAS "feed" with Samsung and Nokia
  2. UDELAR)UDELAR - one of the largest education and research centers of Latin America, the independent state university. 120,000 students of the university make 3.6% of all population of the Republic Uruguay (it is the highest rate in Latin America).