ИСТИНА

Целью проекта является развитие теории, создание и развитие методов и инструментальных средств поддержки проектирования, сопровождения и модернизации аппаратных программных средств встроенных систем реального времени. Реализация проекта предполагает разработку методов и средств для оценки производительности и надежности таких систем, синтеза и оптимизации их архитектур, планирования вычислений, проверки правильности их программ но го обеспечения. Ожидаемыми результатами работы являются: 1) архитектура интегрированной среды поддержки разработки и интеграции встроенных систем реального времени (СРВ); 2)архитектура среды выполнения моделей компонентов СРВ; 3) проект единого формата описания встроенных СРВ; 4) прототип инструментальных средств поддержки разработки и интеграции встроенных систем реального времени; 5) методики совместного применения созданных методов и инструментальных средств для поддержки разработки и интеграции встроенных систем реального времени.

В 2015 году коллектив ЛВК завершил работы по научно-исследовательской теме «Методы и инструментальные средства анализа функционирования и разработки встроенных систем реального времени». Встроенные системы реального времени являются одним из подклассов распределённых вычислительных систем (РВС). РВС – это многомашинные вычислительные комплексы, которые собирают, передают и обрабатывают информацию, а также принимают решения в режиме реального времени. В рамках данных работ наш коллектив исследовал новые подходы к моделированию РВС и разработал экспериментальный образец инструментального средства, охватывающий все стадии разработки и интеграции РВС РВ. Такое средство позволят проверять разрабатываемые РВС РВ на соответствие проектным требованиям, проверять и отрабатывать взаимодействие компонентов РВС РВ, тестировать РВС РВ и оценивать степень их надёжности. Стоит отметить ориентированность инструментов на отработку РВС РВ даже на тех этапах, когда необходимая специальная аппаратура ещё недоступна, а также на обнаружение ошибок на ранних этапах разработки. Среди особенностей разработанного средства также стоит отметить открытость исходных кодов комплекса. Открытость программного обеспечения повышает прозрачность его функционирования и упрощает взаимодействие с другими научными коллективами. Большое внимание при работе над проектом было уделено внедрению результатов данной работы в учебный процесс. Были разработаны учебно-методические материалы по курсам “Алгоритмы планирования вычислений в системах реального времени”, “Имитационное моделирование в исследовании и разработке информационных систем” и “Надёжность программного обеспечения”. Эти курсы являются обязательными для студентов 3го и 4го курсов кафедры АСВК. В рамках выполнения данных работ были выделены следующие актуальные научные и практические задачи, решение которых позволило бы значительно увеличить эффективность применения разработанного прототипа: • Доработка прототипа разработанного в рамках НИР средства в части увеличения эффективности его работы и улучшения удобства пользования. • Интеграция разработанного средства со средствами верификации и планирования. • Развитие новых методов автоматизации обработки результатов моделирования. • Развитие новых методов визуализации данных результатов моделирования РВС РВ. • Развитие методов выбора модулей и механизмов обеспечения отказоустойчивости (МОО) для РВС РВ с учётом требований к надёжности. • Развитие методов оценки наихудшего времени выполнения распределённых программ в РВС РВ. • Разработка и реализация новых методов синхронизации времени эффективных в задачах полунатурного моделирования РВС РВ. • Предсказание времени прогона и степени распараллеливания запуска модели на множестве исходных наборов данных.