Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/5953
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

Files in This Item:
File Description SizeFormat 
270218.PDF426.24 kBAdobe PDFView/Open
Show full item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.