Разработка и реализация алгоритма оценки времени для задачи выбора модулей вычислительной системы реального времени с учётом требований надёжностидипломная работа (Бакалавр)
Аннотация:В данной работе решается задача разработки и реализации алгоритма оценки времени для задачи выбора модулей вычислительной системы с учётом требований надёжности. Задача выбора модулей вычислительной системы расширяется анализом времени
выполнения конкретных исполняемых кодов на конкретных архитектурах с учётом работы
механизмов обеспечения отказоустойчивости. Для её решения используется семейство ста
тических анализаторов кода для оценки работы компонент аппаратного обеспечения (кэш,
конвейер), с последующим применением метода неявного перебора путей для вычисления
наихудшего времени работы. Разработанное программное средство интегрировано со сред-
ством, решающим задачу выбора модулей вычислительной системы с учётом требований
надёжности, написано с помощью фреймворка OTAWA. Проведено экспериментальное исследование разработанного средства.