Show simple item record

dc.contributor.authorСивко, Б. В.
dc.date.accessioned2019-10-16T05:46:38Z
dc.date.available2019-10-16T05:46:38Z
dc.date.issued2014
dc.identifier.otherУДК 004.052.2
dc.identifier.urihttp://elib.bsut.by:8080/xmlui/handle/123456789/1852
dc.description.abstractПредложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных комплексов на основании диверситетных аксиоматических базисов позволяет формализовать условия диверситета и защиты от отказа по общей причине. Приведены примеры диверситетных аксиоматических базисов и способы их использования для доказательства корректности функционирования аппаратно-программных комплексов. Показана важность потенциальных преимуществ применения диверситета аксиоматических базисов как с теоретической, так и с практической стороны.ru
dc.language.isootherru
dc.publisherБелГУТru
dc.subjectПроектирование отказоустойчивых системru
dc.subjectДиверситетные аксиоматические базисыru
dc.subjectАппаратно-программные комплексыru
dc.titleДиверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых системru
dc.typeArticleru


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record