Проектирование программных моделей сетевых протоколов для встроенных систем

Оленев Валентин Леонидович, аспирант ГУАП

На докладе автор представит оригинальную методику проектирования программного обеспечения для реализации и верификации архитектурных диаграмм программных моделей стеков протоколов передачи данных, обеспечивающей повышение эффективности разработки и корректности программных моделей. В качестве формальной модели стеков протоколов использовались раскрашенные сети Петри. Будет рассмотрен новый метод верификации архитектурной диаграммы программной модели протокола на основе результатов анализа сетей Петри.