Программа автоматизированной декомпозиции моделей окружения фрагментов программ на языке Си
декомпозиция моделей окружения фрагментов программ язык Си упрощение моделей окружения
Программа предназначена для декомпозиции моделей окружения. Модели состоят из наборов процессов. Декомпозиция осуществляется согласно конфигурационным параметрам, которые управляют разбиением процессов на сценарии и затем выбором сценариев для подготовки новых моделей. Полученная совокупность моделей покрывает все те же сценарии поведения, разрешенные исходной моделью, но каждая новая модель гораздо проще исходной. Программа разработана при финансовой поддержке Российской Федерации в лице Минобрнауки России (соглашение № 075-15-2020-788)
декомпозиция и упрощения моделей окружения фрагментов программ на языке Си
Арутюн
Аветисян
Ишханович
директор
Доктор физико-математических наук
Академик
E-6121-2017
56274803200
0000-0002-0470-9944
РОССИЯ
Арутюн
Аветисян
Ишханович
директор
РОССИЯ
50.41.17
Системное программное обеспечение
01.02.EW
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Илья
Захаров
Сергеевич
Проектирование, разработка и реализация алгоритмов. Написание и отладка программы
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИСП РАН
Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова Российской академии наук
1037700067327
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения