• О выставке
• Посетителям
• Участникам
• Деловая программа
• Информационная поддержка
• IT-справочник

Институт системного программирования РАН / Institute for System Programming of the Russian Academy of Sciences

Адрес сайта / URL: http://www.ispras.ru/

Электронный адрес / Е-mail : director@ispras.ru

Телефон / Phone: (495) 912-44-25

Факс / Fax: (495) 912-15-24

Почтовый адрес / Adress: Москва, ул. А.Солженицына, 25

Краткое описание деятельности / Company Overviev

Исследования и разработки в области системного программного обеспечения (анализ, обратная инженерия и верификация программ; паралелльное программирование; Linux-технологии; кросс-инструменты для встраиваемых систем; тестирование критического ПО и др.)

Research & development in the field of system software engineering (program analysis, reverse engineering, software verification, parallel programming, Linux-technologies, cross tools for embedded systems, model-based testing of critical software, etc.)

Клиенты и отрасли / Clients

• Linux Foundation
• Telelogic
• HP
• VIA Technologies
• Intel

Предлагаемые продукты / Company Products

OLVER (Open Linux VERification)

открытый набор тестов для системных функций и API Linux

LSB Infrastructure

инфраструктура использования и развития стандарта Linux Standard Base (LSB)

Технология и инструменты UniTESK

для автоматизированного создания сложных тестов для критического ПО

Linux Application Checker

инструмент анализа переносимости приложений между различными дистрибутивами Linux

Дополнительная информация / Additional information

Год основания / Year of foundation: 1994

Количество клиентов в России / Clients in Russia: 10

Клиентов в других странах / Clients in other countries: 15

Количество офисов в России / Number of offices in Russia: 1

Количество сотрудников / Numbers of employees: 200