ВАЛИДАЦИЯ ПРОТОКОЛОВ РАСПРЕДЕЛЁННЫХ СИСТЕМ, ПРЕДСТАВЛЕННЫХ КОНЕЧНО - АВТОМАТНОЙ МОДЕЛЬЮ

Копылова, А.И., Севастопольский национальный технический университет; Апраксин, Ю.К., проф., д-р техн. наук, Севастопольский национальный технический университет

Главная
→
Вестник СевГТУ. Автоматизация процессов и управление
→
2012 (Выпуск 125)
→
Просмотр элемента

ВАЛИДАЦИЯ ПРОТОКОЛОВ РАСПРЕДЕЛЁННЫХ СИСТЕМ, ПРЕДСТАВЛЕННЫХ КОНЕЧНО - АВТОМАТНОЙ МОДЕЛЬЮ

Апраксин, Ю.К., проф., д-р техн. наук, Севастопольский национальный технический университет; Копылова, А.И., Севастопольский национальный технический университет

URI: http://hdl.handle.net/123456789/5169

Дата: 2012

Аннотации:

Предлагается подход к валидации протоколов распределённых систем, представленных конечно-автоматной моделью. В качестве метода контроля корректного функционирования системы выбран анализ дерева достижимых глобальных состояний.