Показать сокращенную информацию
Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем
| dc.contributor.author | Сивко, Б. В. | |
| dc.date.accessioned | 2019-10-16T05:46:38Z | |
| dc.date.available | 2019-10-16T05:46:38Z | |
| dc.date.issued | 2014 | |
| dc.identifier.other | УДК 004.052.2 | |
| dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/1852 | |
| dc.description.abstract | Предложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных комплексов на основании диверситетных аксиоматических базисов позволяет формализовать условия диверситета и защиты от отказа по общей причине. Приведены примеры диверситетных аксиоматических базисов и способы их использования для доказательства корректности функционирования аппаратно-программных комплексов. Показана важность потенциальных преимуществ применения диверситета аксиоматических базисов как с теоретической, так и с практической стороны. | ru |
| dc.language.iso | other | ru |
| dc.publisher | БелГУТ | ru |
| dc.subject | Проектирование отказоустойчивых систем | ru |
| dc.subject | Диверситетные аксиоматические базисы | ru |
| dc.subject | Аппаратно-программные комплексы | ru |
| dc.title | Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем | ru |
| dc.type | Article | ru |