УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»
Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем
Лабораторией "Компьютерные технологии" был успешно пройден конкурсный отбор на представление субсидий из федерального бюджета в рамках ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 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" за авторством Полины Овсянниковой, Даниила Чивилихина, Владимира Ульянцева, Андрея Станкевича, Ильи Закирзянова и Анатолия Абрамовича Шалыто.
10.07.2018 Были получены свидетельства о государственной регистрации программы для ЭВМ на разработанные по результатам исследований программные средства:
- "Программное средство для генерации дискретной формальной модели объекта управления по примерам поведения"
- "Программное средство для тестирования кибер-физических систем в замкнутом цикле на основе проверки моделей"
13.06-15.06.2018. Игорь Бужинский представил статью "Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes" за авторством в том числе Игоря Бужинского и Валерия Вяткина на конференции ISIE 2018
17.05.2018 В Университете ИТМО прошел один из последних совместных семинаров по текущему проекту.
02.02.2018 Работы по проекту перешли к заключительной стадии, начался третий этап! В Университете ИТМО прошел плановый совместный семинар.
29.10-01.11.2017. Игорь Бужинский представил сразу две статьи на конференции IECON 2017:
- за авторством в том числе Игоря Бужинского и Валерия Вяткина "Scalable methods of discrete plant model generation for closed-loop model checking";
- за авторством в том числе Игоря Бужинского и Валерия Вяткина "Explicit-state and symbolic model checking of nuclear I&C systems: A comparison".
26.10.2017. Состоялся очередной совместный семинар в Университете Аалто.
12-15.09.2016. Сразу 3 статьи по теме данного исследования были представлены на конференции ETFA'2017:
- Полина Овсянникова, Даниил Чивилихин, Владимир Ульянцев и Анатолий Абрамович Шалыто "Closed-loop verification of a compensating group drive model using synthesized formal plant model";
- Игорь Бужинский и Валерий Вяткин "Testing Automation Systems by Means of Model Checking";
- Игорь Бужинский и Валерий Вяткин "Modular Plant Model Synthesis from Behavior Traces and Temporal Properties".
24-26.07.2017. Даниил Чивилихин представил статью "Plant trace generation for formal plant model inference: methods and case study" за авторством Дмитрия Авдюхина, Даниила Чивилихина, Георгия Корнеева, Владимира Ульянцева и Анатолия Абрамовича Шалыто на конференции INDIN 2017.
21.04.2017. Прошел очередной совместный семинар в Университете ИТМО.
24.03.2017. Состоялся четвертый совместный семинар в Университете ИТМО. Первый этап проекта прошел успешно, замечаний нет, работы выполнены!
16.12.2016. Состоялся третий совместный семинар в Университете ИТМО.
14-15.12.2016. Исполнителями целевой программы Владимиром Ульянцевым и Ильей Закирзяновым была посещена IV национальная выставка-форум ВУЗПРОМЭКСПО-2016 и проходящая в рамках данной выставки III научно-практическая конференция "Исследования и разработки - 2016".
08.12.2016. Состоялся второй совместный семинар в Университете Аалто.
13.10.2016. Состоялся первый совместный семинар в Университете Аалто.
12-16.09.2016. Игорь Бужинский представил постер "Generation of Formal Plant Models Based on Simulation Environments" за авторством в том числе Игоря Бужинского, Даниила Чивилихина, Владимира Ульянцева и Анатолия Абрамовича Шалыто на конференции EUROSIM 2016.
28.07.2016. Было подписано Соглашение, и началась работа в рамках данного проекта.
| © 2002—2024 | По техническим вопросам сайта: alexvatyan@gmail.com |