УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем (версия для печати)


Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем




Лабораторией "Компьютерные технологии" был успешно пройден конкурсный отбор на представление субсидий из федерального бюджета в рамках ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы" по проекту: "Проведение исследований по приоритетным направлениям с участием научно-исследовательских организаций и университетов Швеции и/или Финляндии и/или Норвегии и/или Великобритании". Тема исследований: "Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем".
Шалыто Анатолий Абрамович — научный руководитель работ

Исполнители:
Ульянцев Владимир — ответственный исполнитель
Авдюхин Дмитрий
Бужинский Игорь
Буздалова Арина
Буздалов Максим
Ведерников Николай
Закирзянов Илья
Казаков Сергей
Корнеев Георгий
Лукин Михаил
Миронович Владимир
Овсянникова Полина
Сергушичев Алексей
Станкевич Андрей
Чивилихин Даниил
Даты выполнения проекта: 28.07.2016 - 31.12.2018

Иностранный партнер — Университет Аалто, Финляндия (Aalto University, Finland)
Вяткин Валерий — научный руководитель работ со стороны иностранного партнера

Последние новости:

29.10-01.11.2017. Игорь Бужинский представил сразу две статьи на конференции IECON 2017:
  1. за авторством в том числе Игоря Бужинского и Валерия Вяткина "Scalable methods of discrete plant model generation for closed-loop model checking";
  2. за авторством в том числе Игоря Бужинского и Валерия Вяткина "Explicit-state and symbolic model checking of nuclear I&C systems: A comparison".

iecon

26.10.2017. Состоялся очередной совместный семинар в Университете Аалто.
26.10.2017

12-15.09.2016. Сразу 3 статьи по теме данного исследования были представлены на конференции ETFA'2017:
  1. Полина Овсянникова, Даниил Чивилихин, Владимир Ульянцев и Анатолий Абрамович Шалыто "Closed-loop verification of a compensating group drive model using synthesized formal plant model";
  2. Игорь Бужинский и Валерий Вяткин "Testing Automation Systems by Means of Model Checking";
  3. Игорь Бужинский и Валерий Вяткин "Modular Plant Model Synthesis from Behavior Traces and Temporal Properties".

etfa1 etfa2

24-26.07.2017. Даниил Чивилихин представил статью "Plant trace generation for formal plant model inference: methods and case study" за авторством Дмитрия Авдюхина, Даниила Чивилихина, Георгия Корнеева, Владимира Ульянцева и Анатолия Абрамовича Шалыто на конференции INDIN 2017.

21.04.2017. Прошел очередной совместный семинар в Университете ИТМО.
21.04.2017

24.03.2017. Состоялся четвертый совместный семинар в Университете ИТМО. Первый этап проекта прошел успешно, замечаний нет, работы выполнены!
24.03.2017

16.12.2016. Состоялся третий совместный семинар в Университете ИТМО.
16.12.2016

14-15.12.2016. Исполнителями целевой программы Владимиром Ульянцевым и Ильей Закирзяновым была посещена IV национальная выставка-форум ВУЗПРОМЭКСПО-2016 и проходящая в рамках данной выставки III научно-практическая конференция "Исследования и разработки - 2016".
14.12.2016

08.12.2016. Состоялся второй совместный семинар в Университете Аалто.
08.12.2016

13.10.2016. Состоялся первый совместный семинар в Университете Аалто.
13.10.2016

12-16.09.2016. Игорь Бужинский представил постер "Generation of Formal Plant Models Based on Simulation Environments" за авторством в том числе Игоря Бужинского, Даниила Чивилихина, Владимира Ульянцева и Анатолия Абрамовича Шалыто на конференции EUROSIM 2016.
eurosim

28.07.2016. Было подписано Соглашение, и началась работа в рамках данного проекта.



© 2002—2018 По техническим вопросам сайта: alexvatyan@gmail.com