ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
В настоящее время актуальной является проблема создания эффективных методов анализа и проектирования программного обеспечения и программных систем различного уровня сложности. На данный момент для решения проблем прямой и обратной инженерии программных систем не существует методологий и подходов, которые в равной степени хорошо поддерживали бы процессы многоаспектного анализа программного кода и проектирования программного обеспечения. В связи с этим на данном этапе сравнение методов анализа и проектирования программ может быть проведено лишь в рамках конкретных подходов, которые позволяют решать задачи в более частной постановке, основываясь при этом на одной из парадигм программирования. В ходе реализации научно-исследовательского проекта по данной теме предполагается провести исследование методов прямой и обратной инженерии для программных систем искусственного интеллекта, в том числе, программных систем автоматического планирования, систем автоматического синтеза программ и интеллектуальных программных систем решения сложных многошаговых многовариантных задач. Целью исследования является разработка комплексного подхода к интеграции решения проблем представления знаний, организации и инженерии знаний на основе объектно-ориентированных методов.
В ходе выполнения научно-исследовательских работ по заявленному проекту проведено исследование методов прямой и обратной инженерии знаний для программных систем искусственного интеллекта, в том числе, программных систем автоматического планирования, систем автоматического синтеза программ. Проведено теоретическое исследование и анализ подходов и методов трансформации традиционного для программных систем искусственного интеллекта текстового описания предметных областей, задач и планов в объектные модели с целью последующего использования языков универсального моделирования как современных технологических инструментов программной инженерии. Разработаны методы динамической настройки DVMH-программ на кластеры с ускорителями. Совместно с Институтом системного программирования РАН выполнены исследования и работы по проблемам анализа бинарного кода, предложены новые методы решения проблем восстановления алгоритмов по набору бинарных трасс, оптимизации программ для систем динамической двоичной трансляции. Проведен анализ подходов к построению инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ. В рамках развития одного из подходов верификации моделей ответственных программно-аппаратных систем для авионики и разработки соответствующих инструментов поддержки впервые в этой области удалось создать новый язык спецификации в виде библиотеки функций, классов, методов и объектов языка Python. Разработан модифицированный подход к управлению объектами, подверженными спонтанным изменениям, в котором методика управления объектами, не поддающихся формализации, распространена на случай отсутствия управляющих воздействий, введением временного интервала расширена структура базы прецедентов и структура прецедента в управлении. Разработаны алгоритмы и методы распределенной обработки данных графовой структуры большого объема.
МГУ имени М.В.Ломоносова | Координатор |
госбюджет, раздел 0110 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2011 г.-31 декабря 2011 г. | Теоретические основы и методы анализа и проектирования программ |
Результаты этапа: | ||
2 | 1 января 2012 г.-31 декабря 2012 г. | Теоретические основы и методы анализа и проектирования программ |
Результаты этапа: | ||
3 | 1 января 2013 г.-31 декабря 2013 г. | Теоретические основы и методы анализа и проектирования программ |
Результаты этапа: | ||
4 | 1 января 2014 г.-31 декабря 2014 г. | Теоретические основы и методы анализа и проектирования программ |
Результаты этапа: В ходе выполнения научно-исследовательских работ по заявленному проекту продолжены исследования актуальных проблем программной инженерии и системного программирования. Проведено теоретическое исследование и анализ подходов к трансформации традиционного для программных систем искусственного интеллекта текстового описания предметных областей, задач и планов в объектные модели с целью последующего использования языков универсального моделирования как современных технологических инструментов программной инженерии. Совместно с Институтом системного программирования РАН проведены исследования проблем, связанных с автоматизацией проектирования программных систем. Рассмотрены подходы к построению инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ. | ||
5 | 1 января 2015 г.-31 декабря 2015 г. | Теоретические основы и методы анализа и проектирования программ |
Результаты этапа: В ходе выполнения научно-исследовательских работ пятого этапа по заявленному проекту продолжены исследования актуальных проблем программной инженерии и системного программирования. Проведено теоретическое исследование и анализ современных подходов к разработке и реализации программной среды поддержки процессов прямой и обратной инженерии знаний на основе объектных моделей. Совместно с Институтом системного программирования РАН проведены исследования проблем, связанных со статическим анализом исходного кода на С/С++, а также проблем проектирования модели данных для анализатора сетевого трафика. Рассмотрены подходы к построению инструментальных программных средств поддержки проектирования, разработки и верификации на основе формальных спецификаций и использования формальных методов для анализа и верификации программ. В рамках развития одного из подходов верификации моделей ответственных программно-аппаратных систем для авионики и разработки соответствующих инструментов поддержки впервые в этой области удалось создать новый язык спецификации в виде библиотеки функций, классов, методов и объектов языка Python. |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".