https://libeldoc.bsuir.by/handle/123456789/26465| Title: | Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем |
| Authors: | Сивко, Б. В. |
| Keywords: | отказоустойчивые системы;диверситет аксиоматических базисов;материалы конференций;безопасные системы |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| Citation: | Сивко, Б. В. Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем / Б. В. Сивко // Информационные технологии и системы 2014 (ИТС 2014) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 29 октября 2014 г. – Information Technologies and Systems 2014 (ITS 2014) : Proceeding of The International Conference, BSUIR, Minsk, 29th October 2014 / редкол. : Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2014. – С. 324–325. |
| Abstract: | Представлено логическое основание для общего подхода в проектировании безопасных и отказоустойчивых систем, заключающееся в рассмотрении понятия диверситета аксиоматических базисов. Приведено описание того, как при разработке аппаратно-программных комплексов на основании диверситетных аксиоматических базисов можно формализовать условия диверситета и защиты от отказа по общей причине. Рассматриваются особенности и преимущества проектирования и последующего анализа на безопасности в сравнении с классическим доказательством безопасности. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/26465 |
| Appears in Collections: | ИТС 2014 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Diversitetnyye aksiomaticheskiye.PDF | 430.27 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.