5410

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Доклад

Название: 

Формальные и практические методики организации резервирования параллельно-последовательных программных модулей для управляющих параллельных вычислительных систем

Наименование конференции: 

  • 3-я Всероссийская конференция с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ-2012, Москва)

Город: 

  • -

Издательство: 

  • -

Год издания: 

2008

Страницы: 

279-281
Аннотация
Рассматривается новый подход к оценке и обеспечению отказоустойчивости управляющих параллельных ВС при выполнении сложных комплексов взаимосвязанных работ (программных модулей) – КВР, со случайными временами их реализации: на основе формализованных описаний и математических моделей вычислительных процессов аналитически определяются вероятности успешного завершения каждого конкретного КВР за заданное (пользователем) директивное время (или, наоборот, отказа в его выполнении) при резервировании программных модулей КВР - синхронном, асинхронном, многоверсионном и адаптивном.

Библиографическая ссылка: 

Игнатущенко В.В. Формальные и практические методики организации резервирования параллельно-последовательных программных модулей для управляющих параллельных вычислительных систем / . -: -, 2008. С. 279-281.