Зорин, Д. А. Алгоритм синтеза архитектуры вычислительной системы реального времени с учетом требований к надежности [Текст] / Д. А. Зорин, В. А. Костенко> // Известия РАН. Теория и системы управления. - 2012. - № 3. - С. 76-83. - Библиогр.: с. 83 (9 назв. ) . - ISSN 0002-3388
Рубрики: Радиоэлектроника Теория сложных систем Кл.слова (ненормированные): вычислительные системы реального времени -- надежность -- аппаратные отказы -- программные отказы -- итерационные алгоритмы -- алгоритм синтеза -- архитектура вычислительных систем -- синтез архитектуры вычислительных систем -- построение расписания -- имитация отжига Аннотация: Рассматривается задача построения вычислительной системы реального времени с минимальным числом процессоров. При этом требуется соблюдение директивных сроков на время выполнения программы, а также должны быть выполнены требования к надежности системы, которые подразумевают, что система должна выдерживать как аппаратные, так и программные отказы. Приведена формальная постановка данной задачи, предложен метод ее решения с использованием итерационного алгоритма построения расписания, основанного на методе имитации отжига, и проведено экспериментальное исследование предложенного алгоритма. Доп.точки доступа: Костенко, В. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Комбинированное средство верификации распределенных вычислительных систем реального времени [Текст] / Д. Ю. Волканов [и др.]> // Программирование. - 2015. - № 6. - С. 72-86. - Библиогр.: с. 85-86 (22 назв.) . - ISSN 0132-3474
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): РВС РВ -- автоматы реального времени -- верификация РВС РВ -- иерархические временные автоматы -- распределенные вычислительные системы реального времени -- экспериментальные исследования Аннотация: Проверка правильности функционирования распределенных программ - это одна из наиболее трудных и актуальных задач программирования. В статье описано комбинированное средство верификации РВС РВ. Доп.точки доступа: Волканов, Д. Ю.; Захаров, В. А.; Зорин, Д. А.; Подымов, В. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |