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