About the Linux Verification Center

FASIISP RASLF

Status

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 international consortium Linux Foundation.

The Center is based at the Institute for System Programming of the Russian Academy of Sciences (ISP RAS), 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.

Affiliations

Membership of ISP RAS in Gelato Federation and ForTIA, the Moscow Center of IEEE Computer Sciences based at the Institute and numerous academic and industrial contacts of the Institute help Linux Verification Center to reach out to the world-wide community.

The Linux Verification Center works in close collaboration with The Linux Foundation and Austin Common Standards Revision Group that manage the development of LSB and POSIX standards.

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 ISP RAS 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, ISP RAS developed UniTESK technology for automated test generation, which formed the technology foundation for activities of the Linux Verification Center.

In addition to the projects mentioned, this technology was used for testing components of the real-time operating systems TinyOS and OS 2000 (NIISI RAS), for formalization of the IPMP protocol, for testing industrial software in co-operation with Luxoft and VimpelCom.