Проекты

Проекты прошлых лет

Основные программные системы

  1. Проблемно-ориентированная система верификации программ СПЕКТР.
  2. Система для анализа и симуляции сетевых моделей NetCalc.
  3. Система решения логико-комбинаторных задач LogiCalc.
  4. Инструментальная система для решения задач проектирования и оптимизации НеМо+.
  5. Технологический комплекс для создания интеллектуальных систем Semp-Tao.
  6. Система синтеза топологии СБИС - TOPS.
  7. bCAD - система двумерного черчения, трехмерного моделирования и визуализации.
  8. Переносимая система программирования XDS.
  9. Статический анализатор программ для языков Модула-2 и Оберон-2.
  10. Система СОКРАТ - окружение программирования для встроенных ЭВМ.
  11. Система спецификации баз данных Руслан.
  12. ПРОГРЕСС - система оптимизирующей трансляции для параллельных ЭВМ.
  13. Информационно-инструментальная система ТРАНСФОРМ для поддержки исследований по преобразованиям программ.

Участие в международных проектах и программах

В рамках гранта по программе ИНКО-Коперникус Европейского сообщества институт участвует в международном проекте SYTIC. Цель проекта - создание сети информационно-обучающих центров САПР СБИС в странах Центральной Европы и СНГ. Сроки реализации проекта 1997-1999 г.

Участники проекта:

  • Институт GMD, Германия
  • Институт RAL, Великобритания
  • Варшавский технический университет, Польша
  • Технический университет города Лодзь, Польша
  • Институт IET, Польша
  • Институт ITME, Польша
  • Словацкий технический университет, Словакия
  • Технический университет Софии, Болгария
  • Таллинский технический университет, Эстония
  • Технический университет Будапешта, Венгрия

В рамках проекта в 1997 г.

  • создан и введен в эксплуатацию сервер, доступный через региональную сеть;
  • поставлены два свободно распро-страняемых пакета проектирования СБИС: Magic и Alliance;
  • осуществлены консультации пользователей;
  • сформирована методология применения современных (западных) средств для проектирования СБИС в наших условиях;
  • реализован ряд интерфейсных и содержательных компонентов;
  • в качестве экспериментальной апробации методологии спроектированы (перепроектированы) две схемы средней сложности.