Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями

Abstract

Рассматриваются основные проблемы проектирования высоконадежных программных средств для систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в рамках отдельных проблем, обсуждаются возможные подходы к проектированию высоконадежного программного обеспечения, основанные (в отличие от известных подходов) на концепциях многоверсионности программных средств, множественности методов параллельной обработки, автоматического проектирования параллельных программ и учета предъявляемых к системам управления временных требований, требований к достоверности и ограничений на сложность средств реализации.

Розглядаються основні проблеми проектування високонадійних програмних засобів для систем управління (АСУ) критичними технологіями та системами (КТС), склад та семантика завдань у рамках окремих проблем, обговорюються можливі підходи до проектування високонадійного програмного забезпечення, що ґрунтуються (на відміну від відомих підходів) на концепціях багатоверсійності. програмних засобів, множинності методів паралельної обробки, автоматичного проектування паралельних програм та обліку тимчасових вимог, що пред'являються до систем управління, вимог до достовірності та обмежень на складність засобів реалізації.