Browsing 2014 by Author "Сивко, Б. В."
Now showing items 1-3 of 3
-
Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем
Сивко, Б. В. (БелГУТ, 2014)Предложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных ... -
Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики
Сивко, Б. В. (БелГУТ, 2014)Предложена методика доказательства безопасности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики с помощью формальных методов, в которой рассматриваются валидация и верификация ... -
Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики
Бочков, К. А.; Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2014)Рассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К ...