RUS ENG

< Начало учебного года
13.09.2011 14:00 Давность: 8 yrs
Категория: Семинар

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

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


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