Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
Öffnen
Datum
2006Autor
Поляков, Г.А.
Скляр, В.В.
Толстолужский, Д.А.
Толстолужская, Е.Г.
Харченко, В.С.
Metadata
Zur LanganzeigeZusammenfassung
Рассматриваются основные проблемы проектирования высоконадежных программных средств для
систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в
рамках отдельных проблем, обсуждаются возможные подходы к проектированию высоконадежного
программного обеспечения, основанные (в отличие от известных подходов) на концепциях
многоверсионности программных средств, множественности методов параллельной обработки,
автоматического проектирования параллельных программ и учета предъявляемых к системам
управления временных требований, требований к достоверности и ограничений на сложность средств
реализации. Розглядаються основні проблеми проектування високонадійних програмних засобів для систем управління (АСУ) критичними технологіями та системами (КТС), склад та семантика завдань у рамках окремих проблем, обговорюються можливі підходи до проектування високонадійного програмного забезпечення, що ґрунтуються (на відміну від відомих підходів) на концепціях багатоверсійності. програмних засобів, множинності методів паралельної обробки, автоматичного проектування паралельних програм та обліку тимчасових вимог, що пред'являються до систем управління, вимог до достовірності та обмежень на складність засобів реалізації.