Зарегистрируйся и получи бесплатный билет на выставку Softool 2010!
Всероссийская конференция "Технологии автоматической идентификации"

Институт системного программирования РАН / 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







Встретимся на Softool'е!