Основные программные системы
- Проблемно-ориентированная система верификации программ СПЕКТР.
- Система для анализа и симуляции сетевых моделей NetCalc.
- Система решения логико-комбинаторных задач LogiCalc.
- Инструментальная система для решения задач проектирования и оптимизации НеМо+.
- Технологический комплекс для создания интеллектуальных систем Semp-Tao.
- Система синтеза топологии СБИС - TOPS.
- bCAD - система двумерного черчения, трехмерного моделирования и визуализации.
- Переносимая система программирования XDS.
- Статический анализатор программ для языков Модула-2 и Оберон-2.
- Система СОКРАТ - окружение программирования для встроенных ЭВМ.
- Система спецификации баз данных Руслан.
- ПРОГРЕСС - система оптимизирующей трансляции для параллельных ЭВМ.
- Информационно-инструментальная система ТРАНСФОРМ для поддержки исследований по преобразованиям программ.
Участие в международных проектах и программах
В рамках гранта по программе ИНКО-Коперникус Европейского сообщества институт участвует в международном проекте SYTIC. Цель проекта - создание сети информационно-обучающих центров САПР СБИС в странах Центральной Европы и СНГ. Сроки реализации проекта 1997-1999 г.
Участники проекта:
- Институт GMD, Германия
- Институт RAL, Великобритания
- Варшавский технический университет, Польша
- Технический университет города Лодзь, Польша
- Институт IET, Польша
- Институт ITME, Польша
- Словацкий технический университет, Словакия
- Технический университет Софии, Болгария
- Таллинский технический университет, Эстония
- Технический университет Будапешта, Венгрия
В рамках проекта в 1997 г.
- создан и введен в эксплуатацию сервер, доступный через региональную сеть;
- поставлены два свободно распро-страняемых пакета проектирования СБИС: Magic и Alliance;
- осуществлены консультации пользователей;
- сформирована методология применения современных (западных) средств для проектирования СБИС в наших условиях;
- реализован ряд интерфейсных и содержательных компонентов;
- в качестве экспериментальной апробации методологии спроектированы (перепроектированы) две схемы средней сложности.