|
Design Automation Conference 2013 |
|
10.06.2013 г. |
2-6 июня 2013 г. сотрудники отдела Технологий программирования ИСП РАН Михаил Чупилко, Андрей Татарников и Александр Камкин приняли участие в Конференции по проектированию электронных систем DAC-2013, которая состоялась в городе Остин, США. Они представили стендовый доклад на University Booth на тему «C++TESK and MicroTESK Hardware Verification Toolkits».
Более подробную информацию можно получить здесь. |
|
|
01.06.2013 г. |
30-31 мая 2013 г. в Казани состоялся 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию.
Михаил Чупилко и Александр Петренко представили доклад на тему “Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification”. Александр Камкин, Татьяна Сергеева, Андрей Татарников и Артемий Утехин (Московский Государственный Университет им. М.В. Ломоносова) представили доклад на тему “MicroTESK: An Extendable Framework for Test Program Generation“. Илья Захаров, Вадим Мутилин, Евгений Новиков и Алексей Хорошилов представили доклад на тему “Generating Environment Model for Linux Device Drivers“. Никита Комаров представил доклад на тему “On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules“.
Более подробную информацию можно получить здесь. |
|
|
Model-Based Testing Workshop 2013 |
|
25.03.2013 г. |
|
Сотрудники отдела "Технологий программирования" приняли участие в Восьмом международном семинаре по тестированию на основе моделей (Model-Based Testing Workshop), прошедшем 17 марта в Риме, Италия. Михаил Чупилко и Александр Камкин представили доклад на тему "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces". Виктор Кулямин, совместно с Йенсом Грабовски (University of Gottingen, Germany), Аланом-Георгесом Воуффо Феуджио (Thales, Germany), Анталом Ву-Хен-Чанг (Ericsson, Hungary) и Миланом Зорич (ETSI, France) представил доклад на тему "Towards the Usage of MBT at ETSI".
Более подробную информацию можно получить здесь. |
|
|
24.12.2012 г. |
|
30-31 мая 2013 г. в Казани состоится 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию. Приглашаем студентов, аспирантов и молодых кандидатов наук (до 35 лет) принять участие в работе коллоквиума. Более подробная информация доступна здесь. |
|
|
ETSI Model-Based Testing User Conference |
|
02.10.2012 г. |
|
25-27 сентября 2012 года сотрудник отдела «Технологий программирования» ИСП РАН Виктор Кулямин принял участие в конференции ETSI Model-Based Testing User Conference, состоявшей в Таллине, Эстония. Более подробную информацию о конференции можно получить здесь.
|
|
|
29.06.2012 г. |
27 июня 2012 года сотрудник отдела «Технологий программирования» ИСП РАН Николай Пакулин выступил с докладом на тему «Networked testbed for hybrid systems» на семинаре EU-Russian Workshop, состоявшемся в Санкт-Петербурге, Россия.
|
|
|
11-ая конференция ETSI пользователей TTCN-3 |
|
18.06.2012 г. |
|
11-14 июня 2012 года сотрудник отдела «Технологий программирования» ИСП РАН Николай Пакулин принял участие в 11-ой конференции ETSI пользователей TTCN-3 и семинаре ETSI по тестированию на базе моделей, состоявшихся в Бангалоре, Индия. В рамках конференции Николай сделал доклад на тему «ETSI Update on TTCN-3 Language Evolution and Tool Conformance Testing» и в рамках семинара выступил с докладом на тему «Integrated Modular Avionics - a New Challenge for MBT» . |
|
|
24.05.2012 г. |
|
30-31 мая, в Перми состоится Весенний коллоквиум молодых ученых по программной инженерии (Spring Young Researchers Colloquium on Software Engineering - SYRCoSE) . Коллоквиум SYRCoSE дает возможность студентам, аспирантам и молодым ученым поделиться результатами своих исследований и, кроме того, получить опыт написания и презентации научных докладов в формате, который сейчас принят в международном научном сообществе. Все работы рецензируются программным комитетом, рабочим языком коллоквиума является английский. |
|
|
Совещание рабочей группы по стандартизации тестирования на основе моделей |
|
21.05.2012 г. |
14 мая 2012 года сотрудник отдела «Технологий программирования» ИСП РАН Виктор Кулямин принял участие в совещании Рабочей группы по стандартизации тестирования на основе моделей, прошедшее в Германии.
Также с 14 по 18 мая состоялось очередное собрание Рабочей группы по использованию тестирования на основе моделей для создания тестов для проверки стандартов телекоммуникационных протоколов. |
|
|
Визит в Международный университет Информационных Технологий в Алматы |
|
14.05.2012 г. |
|
11 мая в рамках 10-ой Международной конференции «Информационные Технологии и Менеджмент», проходившей в Международном университете Информационных Технологий в Алматы, Казахстан, состоялся мастер-класс «Test Driven Development». Мастер-класс проводился сотрудником отдела Технологий программирования ИСП РАН Николаем Пакулиным для студентов и сотрудников Международного университета Информационных Технологий. Также Николай Пакулин выступил с докладом на тему «Model based conformance testing of communication protocols in common programming language». |
|
