Go4IT – шаг к новым технологиям Интернета
Программа семинара

Время

Название

Докладчик

10:30

Открытие

Виктор Петрович Иванников, директор ИСП РАН

10:50

Приветствие

Филипп Кузин, Франция

11:30

Рамочные программы Европейского союза и проект Go4IT

Александр Константинович Петренко, зав. отделом ИСП РАН

12:20

Кофе-брейк

12:30

TTCN3 – нотация для описания тестов и управления тестированием

Александр Коптелов, ИСП РАН

13:30

Обед

14:30

Тестовый набор Go4IT

Алан Вуффо, Германия

16:30

Кофе-брейк

16:45

Тестовая платформа общего назначения Go4IT

Цезарь Вихо, Франция

17:15

Сервисы, предоставляемые проектом Go4IT

Карлос Перез, Испания.

17:45

Закрытие первого дня семинара

Александр Петренко, ИСП РАН

Время

Название

Докладчик

10:00

Введение в IPv6

Дмитрий Зацепин, ИСП РАН

10:30

Обзор распространения IPv6 в Европе

Франк Ле Галь, Франция

10:50

Обзор распространения IPv6 в Китае

Сяохонь Хуань, КНР

11:10

Обзор распространения IPv6 в Латинской Америке

Алессандро Сантьяго дош Сантош, Бразилия

11:30

Перспективы коммерческого использования IPv6

Наталия Ромашина, Вымпелком, Москва

12:00

Кофе-брейк

12:10

Программа сертификации IPv6 Ready Logo

Цезарь Вихо, Франция

12:40

Разработка и тестирование реализаций IPv6

Олег Кравцов, Октет Лабз, Санкт-Петербург

13:10

Тестирование протокола Mobile IPv6

Дмитрий Зацепин, ИСП РАН

13:30

Обед

14:30

Achieving Interoperability
the ETSI Approach and the Role of TTCN-3

Энтони Уайлс, Велиобритания

15:20

Подходы к организации сложных тестовых наборов

Виктор Кулямин, ИСП РАН

15:40

Применение формальных методов для тестирования реализаций сложных современных протоколов

Николай Пакулин, ИСП РАН

16:00

О генерации последовательностей тестовых воздействий при тестировании телекоммуникационных протоколов на основе моделей

Алексей Хорошилов, ИСП РАН

16:20

Применение технологии UniTESK для функционального тестирование SystemC-моделей протоколов

Александр Камкин, ИСП РАН

16:40

Кофе-брейк

16:50

О некоторых подходах к верификации автоматных программ

Валерий Анатольевич Соколов, ЯрГУ, Ярославль

17:10

Построение и анализ формальных моделей
транспортных протоколов сети Интернет

Дмитрий Чалый, ЯрГУ, Ярославль

17:30

Тестирование компилятора TTCN3 с использованием формальных методов

Николай Пакулин, ИСП РАН

17:50

Закрытие