Поиск
Отображаемые элементы 1-10 из 11
Разработка безопасных и отказоустойчивых систем на основе взаимной проверки аксиоматических базисов
(БелГУТ, 2016)
Предложен метод, позволяющий формализованно проводить проектирование и верификацию систем, обнаруживающих собственные отказы. Рассмотрены самопроверка и самотестирование на основе предложенного метода. Приведены примеры ...
Особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики
(БелГУТ, 2014)
Рассмотрены особенности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики в контексте их влияния на проектирование и верификацию критически важных объектов информатизации. К ...
Диверситетные аксиоматические базисы для разработки безопасных и отказоустойчивых систем
(БелГУТ, 2014)
Предложено описание логического основания и общего подхода для проектирования безопасных и отказоустойчивых систем. Введено понятие диверситета аксиоматических базисов. Показано, что разработка аппаратно-программных ...
Методика доказательства безопасности программного обеспечения микропроцессрных систем железнодорожной автоматики
(БелГУТ, 2014)
Предложена методика доказательства безопасности программного обеспечения микропроцессорных систем железнодорожной автоматики и телемеханики с помощью формальных методов, в которой рассматриваются валидация и верификация ...