Показати скорочений опис матеріалу
Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями
dc.contributor.author | Поляков, Г.А. | |
dc.contributor.author | Скляр, В.В. | |
dc.contributor.author | Толстолужский, Д.А. | |
dc.contributor.author | Толстолужская, Е.Г. | |
dc.contributor.author | Харченко, В.С. | |
dc.date.accessioned | 2022-12-07T19:36:59Z | |
dc.date.available | 2022-12-07T19:36:59Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями / Г. А. Поляков, В. В. Скляр, Д. А. Толстолужский [и др.] // Радіоелектронні і комп'ютерні системи. – 2006. – № 7. – С. 7–16. | uk_UA |
dc.identifier.issn | 1814-4225 | |
dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3129 | |
dc.description.abstract | Рассматриваются основные проблемы проектирования высоконадежных программных средств для систем управления (АСУ) критическими технологиями и системами (КТС), состав и семантика задач в рамках отдельных проблем, обсуждаются возможные подходы к проектированию высоконадежного программного обеспечения, основанные (в отличие от известных подходов) на концепциях многоверсионности программных средств, множественности методов параллельной обработки, автоматического проектирования параллельных программ и учета предъявляемых к системам управления временных требований, требований к достоверности и ограничений на сложность средств реализации. | uk_UA |
dc.description.abstract | Розглядаються основні проблеми проектування високонадійних програмних засобів для систем управління (АСУ) критичними технологіями та системами (КТС), склад та семантика завдань у рамках окремих проблем, обговорюються можливі підходи до проектування високонадійного програмного забезпечення, що ґрунтуються (на відміну від відомих підходів) на концепціях багатоверсійності. програмних засобів, множинності методів паралельної обробки, автоматичного проектування паралельних програм та обліку тимчасових вимог, що пред'являються до систем управління, вимог до достовірності та обмежень на складність засобів реалізації. | uk_UA |
dc.language.iso | ru | uk_UA |
dc.publisher | ХАІ | uk_UA |
dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
dc.subject | многоверсионность | uk_UA |
dc.subject | верификация | uk_UA |
dc.subject | тестирование | uk_UA |
dc.subject | диагностика | uk_UA |
dc.subject | программное средство | uk_UA |
dc.subject | система управления | uk_UA |
dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
dc.subject | багатоверсійність | uk_UA |
dc.subject | верифікація | uk_UA |
dc.subject | тестування | uk_UA |
dc.subject | діагностика | uk_UA |
dc.subject | програмний засіб | uk_UA |
dc.subject | система управління | uk_UA |
dc.title | Проблемы многоверсионного проектирования высоконадежных параллельных программных средств для систем управления критическими технологиями | uk_UA |
dc.type | Article | uk_UA |