Институт системного программирования им. В.П. Иванникова РАН


Перспективные методы верификации масштабных моделей данных.

Начало проекта – 2013 год. Заказчик - Грант РФФИ 13-07-00390.

Проект связан с созданием сложных программных систем на основе формальных статических моделей и адресован ключевым проблемам верификации масштабных моделей данных, применяемых в различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных языках (EXPRESS, UML/OCL и т.п.). В рамках проекта предполагается решить следующие задачи:

  • исследование проблемы верификации статических моделей объектно-ориентированных данных, применяемых в различных индустриальных областях;
  • разработка эффективных методов верификации подобных моделей;
  • апробация полученных методов в ходе разработки демонстрационного приложения для верификации индустриальных моделей данных.
  • Исполнитель

    Системная интеграция и прикладные программные комплексы

    Перейти к списку всех проектов