технологии

ТРАНСФЕР ИННОВАЦИОННЫХ ТЕХНОЛОГИЙ

ТЕХНОЛОГИЯ СИМВОЛЬНОГО МОДЕЛИРОВАНИЯ ДЛЯ ТЕСТИРОВАНИЯ И ВЕРИФИКАЦИИ ВЫСОКОНАДЕЖНЫХ ПРОГРАММНЫХ СИСТЕМ


Назначение разработки: Для использования организациями, которые разрабатывают программное обеспечение критичных к безопасности программных систем

Рекомендуемая область применения: В авиационной, военной, телекоммуникационной и медицинской отраслях.

Техническая характеристика: Достигает 100% тестового покрытия кода, анализ 100% состояний системы.

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

Стадия готовности разработки: Внедрено в производство

Сведения о новизне разработки:
имеется патентов Украины -- 1 шт.

Результаты испытаний
Обеспечивает получение стабильных резуль

Возможность передачи за рубеж:
Совместное произв.,продажа, эксплуатация

Фотоприложение

Cтрана Украина

За дополнительной информацией обращайтесь:
E-mail: gal@uintei.kiev.ua

или заполнить форму:
Название организации :
Адрес :
Расчетный счет :
Банк :
МФО :
Код ОКПО :

Данные о руководителе научной организации :
Фамилия :
Имя :
Отчество :
Ученая степень, научное звание :
Телефон :
Факс :
E-mail :
Предложения по сотрудничеству (совместное патентование, совместное предприятие, продажа готового продукта, прочее) :
Страна: