Cписок

Харченко В.С.
Парадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития

Вид документа: Стаття періодики
Автор: Харченко В.С. Вид автора: персона
Мова: Російська Обсяг: С. 91-100
УДК: 681.5

Аннотацiя:

Анализируются таксономические, методологические и технологические аспекты гарантоспособных вычислений. Обсуждается парадигма "гарантоспособных систем из негарантоспособных компонент" и ее применение для различных приложений: от естественно надежных кристаллов до сложных инфраструктур. Анализируются принципы и методы оценки и обеспечения гарантоспособности, реализации многоверсионности и мультиреконфигурации при создании гарантоспособных систем. Обобщаются примеры применения парадигмы при разработке систем на программируемой логике, web-систем и др. Ключевые слова: гарантоспособность, компьютерные системы, инфраструктура, надежный кристалл, многоверсионность.

Переглянути електронну копію

Є складовою частиною документа: Радіоелектронні і комп'ютерні системи

Відомості щодо назви

Відомості про відповідальність:

Национальный аэрокосмический университет им.Н.Н.Жуковского "ХАИ", г.Харьков, Украина

Відомості щодо головного

Назва головного документа:

Радіоелектронні і комп'ютерні системи

Дата видання головного документа:

2009

Номер частини головного документа:

Загальна інформація

Бібліографія:

16 назв

Теми документа: