About Center

ФАНИ ISP RAS LF

Status

The Russian Linux Verification Center was founded in September 2005 with support of the Russian Federal Agency for Science and Innovations. The Center is also supported by The Linux Foundation, the leading international consortium dedicated to fostering the growth of Linux.

The Center is based at the Institute for System Programming of the Russian Academy of Sciences (ISPRAS), which is one of the research and development non-profit organizations under the auspice of the Russian Academy of Sciences. The Institute performs both academic research and industrial development projects in the many areas of software engineering, information technologies and computer science.

Background

The staff of the Center includes experts with many years of experience in the area of software development and quality assurance as well as recent graduates from the leading universities such as Moscow State University and MIPT.

Since 1994, the experts of the Center have been participating in projects on automated testing of complex industrial software under cooperation of ISPRAS with such companies as Nortel Networks (testing the kernel of an operating system), Microsoft (testing of IPv6 protocol implementation), Intel (testing of optimizing blocks in compilers).

Based on the experience gained from these projects, ISPRAS developed UniTESK technology for automated test generation, which formed the technology foundation for starting activities of the Linux Verification Center (OLVER). In addition to the projects mentioned, UniTESK technology was used for testing real-time operating systems against requirements of ARINC-653 specification, for formalization of the IPMP protocol, for testing industrial software in co-operation with Luxoft and VimpelCom.