Title: | Применение аксиматико-базисного подхода для разработки безопасных и отказоустойчивых систем |
Authors: | Сивко, Б. В. |
Keywords: | материалы конференций;применение аксиматико-базисного подхода;отказоустойчивые системы |
Issue Date: | 2015 |
Publisher: | БГУИР |
Citation: | Сивко, Б. В. Применение аксиматико-базисного подхода для разработки безопасных и отказоустойчивых систем // Информационные технологии и системы 2015 (ИТС 2015): материалы международной научной конференции (БГУИР, Минск, Беларусь, 28 октября 2015). - Information Technologies and Systems 2015 (ITS 2015): Proceeding of the International Conference (BSUIR, Minsk, Belarus, 28th October 2015) / редкол. : Л. Ю. Шилин [и др.]. – Минск: БГУИР, 2015. – С. 306-307 |
Abstract: | Рассмотрены основные положения аксиоматико-базисного подхода и основанная на нем разработка безопасных и отказоустойчивых систем. Показано, что применение диверситетных аксиоматических базисов во время проектирования позволяет целенаправленно усиливать диверситет, что позволяет решать проблему отказов по общей причине. также рассматривается взаимная проверка аксиоматических базисов, предоставляющая способ создания безопасных систем и улучшения показателей их отказоустойчивости. утверждения подхода проверены посредством имитационных испытаний. На примерах показывается практика разработки и верификации систем с помощью описываемого подхода. |
URI: | https://libeldoc.bsuir.by/handle/123456789/5953 |
ISBN: | 978-985-543-171-9 |
Appears in Collections: | ИТС 2015
|