ISP RAS Company Profile

Revision as of 12:38, 12 October 2009 by Khoroshilov (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search



General Information

The Institute for System Programming of the Russian Academy of Sciences (ISPRAS) is a non-profit government organization that performs both academic research and industrial projects in various areas of computer science and software engineering. Featured industrial contracts include long-term cooperation with Nortel, HP, Telelogic, VIA Technologies, and Linux Foundation.

The staff of the Institute is comprised of about 200 experienced engineers and researchers, about 50 of which have PhD degrees.

ISPRAS is a member of Gelato and ForTIA. Moscow Center of IEEE Computer Sciences is based at the Institute. More information about the Institute is at

The institute has a number of departments and working groups. Two of them related with LSB Infrastructure project are mentioned below.

Data Management Expertise

MODIS department stands for Management of Data and Information Systems. Their projects include development of GNU SQL Server, implementing OMG CORBA 2.0 compliant ORB, development of heterogeneous data integration system based on virtual approach (BizQuery), original functional techniques for XML data processing (SXML Toolset) and native XML database development (Sedna).

Testing Technologies Expertise

The Institute has Testing Technologies Department (RedVerst) of more than 50 people in size. The primary focus of the department is research and development of advanced automated testing and verification technologies and applying them in industrial projects. A subdivision of this department is the Linux Verification Center ( of more than 20 full-time members. The mission of the Center is to propagate the Linux platform by ensuring its high reliability and compatibility through the use of open standards and advanced testing and verification technologies.

The staff of the department includes experts with many years of experience in the area of software development and quality assurance as well as recent graduates from the top Russian universities such as Moscow State University and Moscow Institute of Physics and Technology.

Since 1994, our experts 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 and GO4IT (testing of IPv6 protocol implementation), and Intel (testing of optimizing blocks in compilers).

Based on the experience gained from these projects, ISPRAS developed the UniTESK technology for automated test generation, which formed the technology foundation for the Open Linux Verification (OLVER) project (see below).

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, and for testing industrial software in co-operation with Luxoft and VimpelCom.

Open Linux Verification

One of the featured projects of the ISPRAS Linux Verification Center was OLVER – Open Linux Verification. It had been supported by the Russian Federal Agency for Science and Innovation. The project was to formalize LSB Core 3.1 specifications (1532 interfaces) and create a test suite that performs functional and conformance testing against the requirements of this standard. The test suite is based on the assertion-based testing approach leveraged by UniTESK. More information is at

Currently, the OLVER test suite has been approved as an official LSB certification test suite for LSB 4.0.

Personal tools