You are here: Home / OSADL Members / Academic Members / 
2024-07-19 - 05:10

Dates and Events:

OSADL Articles:

2023-11-12 12:00

Open Source License Obligations Checklists even better now

Import the checklists to other tools, create context diffs and merged lists

2023-03-01 12:00

Embedded Linux distributions

Results of the online "wish list"

2022-01-13 12:00

Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed

Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached

2021-02-09 12:00

Open Source OPC UA PubSub over TSN project phase #3 launched

Letter of Intent with call for participation is now available

Institute for System Programming of the Russian Academy of Sciences (ISPRAS)

The Institute for System Programming of the Russian Academy of Sciences (ISPRAS) was founded on January 25, 1994, on the base of the departments of System Programming and Numerical Software of the Institute for Cybernetics Problems of the RAS.

The activities of the Institute include three main components:

  • Fundamental Research

  • Software Development and Industrial Research

  • Education

The components mutually enrich each other to create a positive synergy effect. The Institute employs more than 200 highly qualified researchers and software engineers, including 12 doctors of science and 45 PhDs. Many employees of the Institute also work as professors in leading Russian universities.

Linux Verification Center ( is based at Software Engineering Department of ISPRAS. The mission of the Center is to propagate the Linux platform by ensuring its high reliability and compatibility through the use of open standards/specifications and advanced testing and verification technologies.

  • Development of open source verification and testing frameworks for automated verification of Linux-based systems.

  • Providing methods, tools and support for building safety-critical products on top of Linux and other open source technologies.

  • Dissemination of academic and industrial expertisein the area of requirements analysis and advanced testing and verification.


Institute for System Programming of the Russian Academy of Sciences, Software Engineering Department, Moscow, Russia, Web