| DC Field | Value | Language |
|---|
| dc.contributor.author | Сивко, Б. В. | - |
| dc.date.accessioned | 2017-10-13T08:49:27Z | - |
| dc.date.available | 2017-10-13T08:49:27Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.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. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26465 | - |
| dc.description.abstract | Представлено логическое основание для общего подхода в проектировании безопасных и отказоустойчивых систем, заключающееся в рассмотрении понятия диверситета аксиоматических базисов. Приведено описание того, как при разработке аппаратно-программных комплексов на основании диверситетных аксиоматических базисов можно формализовать условия диверситета и защиты от отказа по общей причине. Рассматриваются особенности и преимущества проектирования и последующего анализа на безопасности в сравнении с классическим доказательством безопасности. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | отказоустойчивые системы | ru_RU |
| dc.subject | диверситет аксиоматических базисов | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | безопасные системы | ru_RU |
| dc.title | Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2014
|
