Верификация аппаратуры и создание инструментов кросс-разработки


Верификация аппаратуры и создание инструментов кросс-разработки являются приоритетными направлениями работы Института системного программирования РАН (ИСП РАН). Данный сайт содержит информацию по исследованиям, проводимым в данной области, разработанным инструментам, а также по предоставляемым услугам.

Наша цель заключается в создании передовых технологий и инструментов автоматизированной кросс-разработки и верификации аппаратуры.

С 1994 года специалисты ИСП РАН принимали участие в проектах по верификации и валидации промышленного программного и аппаратного обеспечения. Эти проекты были выполнены совместно с такими компаниями, как Nortel Networks, Microsoft, Intel, VIA Technologies, Linux Foundation, ЗАО МЦСТ, НИИСИ РАН и др. (см. страницу Наши партнеры).

Многолетний опыт ИСП РАН, полученный при выполнении крупных промышленных проектов, был преобразован в ряд инновационных методов, технологий и инструментов автоматизированной кросс-разработки и тестирования. Нашим основным результатом является технология UniTESK, предназначенная для разработки тестов для программных и аппаратных систем промышленного уровня на основе формальных спецификаций (моделей).

Мы открыты для всех видов сотрудничества: исследований, оказания услуг по разработке инструментов, обучению, консалтингу и др. Если у вас есть предложения по сотрудничеству, пожалуйста, заполните форму Сотрудничество с нами или свяжитесь с нами по электронной почте или телефону (см. страницу Наши контакты).