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



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

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

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

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

10.01.2019 Основные работы по проекту закончены, отчет за третий этап написан и отправлен на проверку. Все поставленные цели и задачи были успешно выполнены!

04-07.09.2018. Владимир Миронович представил статью "Automatic Plant Controller Input/Output Matching using Evolutionary Algorithms" за авторством Миронович Владимира, Буздалова Максима и Валерия Вяткина на конференции ETFA 2018.

18.07-20.07.2018. Игорь Бужинский представил статью "Counterexample visualization and explanation for function block diagrams" за авторством в том числе Игоря Бужинского и Валерия Вяткина на конференции INDIN 2018
Там же в то же время Полина Овсянникова представила статью "Active learning of formal plant models for cyber-physical systems" за авторством Полины Овсянниковой, Даниила Чивилихина, Владимира Ульянцева, Андрея Станкевича, Ильи Закирзянова и Анатолия Абрамовича Шалыто.
indin2018

10.07.2018 Были получены свидетельства о государственной регистрации программы для ЭВМ на разработанные по результатам исследований программные средства:
  1. "Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения"
  2. "Программное средство для тестирования кибер-физических систем в замкнутом цикле на основе проверки моделей"


13.06-15.06.2018. Игорь Бужинский представил статью "Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes" за авторством в том числе Игоря Бужинского и Валерия Вяткина на конференции ISIE 2018

17.05.2018 В Университете ИТМО прошел один из последних совместных семинаров по текущему проекту.
17.05.2018

02.02.2018 Работы по проекту перешли к заключительной стадии, начался третий этап! В Университете ИТМО прошел плановый совместный семинар.
02.02.2018

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. Было подписано Соглашение, и началась работа в рамках данного проекта.