|
|
Поляков, Г. А.
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями и объектами [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Шифр журнала:
Кл.слова (ненормированные):
многоверсионность -- гарантоспособность -- параллельная обработка -- параллельная программа -- верификация -- тестирование -- контроль -- диагностика
Анотація: Рассмотрены основные проблемы проектирования высоконадежных программных средств для систем управления критическими технологиями и системами, состав и семантика задач в рамках отдельных проблем, обсуждены возможные подходы к проектированию высоконадежного программного обеспечения, основанные (в отличие от известных подходов) на концепциях многоверсионности программных средств, множественности методов параллельной обработки, автоматического проектирования параллельных программ и учета предъявляемых к системам управления временных требований, требований к достоверности и ограничений на сложность средств реализации. !oprip481_H.pft: FILE NOT FOUND!
Дод. точки доступу:
Скляр, В. В.; Толстолужский, Д. А.; Толстолужская, Е. Г.; Харченко, В. С.
Видання зберігається у :
|
|