Поляков Г. А. Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями и объектами / Г. А. Поляков, В. В. Скляр, Д. А. Толстолужский, Е. Г. Толстолужская, В. С. Харченко // Радіоелектрон. і комп'ют. системи. - 2006. - № 7. - С. 7-16. - Библиогр.: 23 назв. - рус.Рассмотрены основные проблемы проектирования высоконадежных программных средств для систем управления критическими технологиями и системами, состав и семантика задач в рамках отдельных проблем, обсуждены возможные подходы к проектированию высоконадежного программного обеспечения, основанные (в отличие от известных подходов) на концепциях многоверсионности программных средств, множественности методов параллельной обработки, автоматического проектирования параллельных программ и учета предъявляемых к системам управления временных требований, требований к достоверности и ограничений на сложность средств реализации. Ключ. слова: многоверсионность, гарантоспособность, параллельная обработка, параллельная программа, верификация, тестирование, контроль, диагностика Індекс рубрикатора НБУВ: З970.21-018
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
Повний текст Наукова періодика України Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|