Институт автоматики и электрометрии СО РАН Институт систем информатики СО РАН им. А. П. Ершова
Межинститутский семинар "Инжиниринг современных информационных систем"
Координатор семинара
|
д-р техн. наук
Зюбин Владимир Евгеньевич
This email address is being protected from spambots. You need JavaScript enabled to view it.
|
Секретарь семинара |
Лях Татьяна Викторовна
This email address is being protected from spambots. You need JavaScript enabled to view it.
|
09.11.2021
Семинар «Инжиниринг современных информационных систем»
11 ноября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема: Автоматно-функциональная парадигма программирования реактивных систем
Докладчик: Максим Нейзов
Аннотация: Доклад посвящен вопросу объединения функционального и автоматного подходов к программированию реактивных систем широкого класса. Обсуждается вопрос применимости подхода и его достоинства, позволяющие упростить разработку и формальную верификацию, повысить понимаемость программ, минимизировать число ошибок. Практическое использование концепции автоматно-функционального подхода демонстрируется на поясняющих примерах.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
26.10.2021
Семинар «Инжиниринг современных информационных систем»
28 октября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема: Ко-моделирование аппаратной и программной части реальной киберфизической системы: ArduPilot на основе Arduino
Докладчик: Сергей Старолетов (лаб. киберфизических систем ИАиЭ СО РАН)
Аннотация: Изучение передового опыта архитектурной организации программных систем для реальных киберфизических систем можно проводить на решениях с открытым исходным кодом, которые разрабатываются большими сообществами энтузиастов. Такие решения неоднократно тестировались на реальных устройствах в различных природных условиях. Построение моделей с использованием программного кода, представление их в графической форме позволяет нам анализировать устойчивые архитектурные программно-аппаратные решения и свойства таких систем. В докладе рассматривается система управления квадрокоптером на базе платы ArduPilot Mega, обсуждается планировщик задачи и их взаимосвязь. Также обсуждается распределенное решение для системы управления на базе SPI и CAN-шины.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
13.10.2021
Семинар «Инжиниринг современных информационных систем»
15 октября 2021 г. (пятница), 14:00 (10:00 МСК)
Тема: Сдвиговый автомат как средство задания структурных свойств автоматной модели поведения
Докладчик: Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Доклад посвящен подходу к дедуктивной верификации управляющих программ, который заключается в построении автоматной модели программы и задании на её основе системы аксиом. При построении аксиоматики одной из ключевых задач является задача формализации структурных свойств автоматной модели. В качестве решения в докладе будет представлена модификация автоматной модели, которая получила название "сдвиговый автомат". Свойства модели демонстрируются и обсуждаются на примерах.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
25.09.2021
Семинар «Инжиниринг современных информационных систем»
30 сентября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема: Индексирование блокчейна для микроплатформ с ограниченным коммуникационным бюджетом
Докладчик: Алекс Шафаренко (Университет Хартфордшира, Англия)
Аннотация: В докладе планируется рассмотреть проблему компактных индексных структур блокчейна, вопросы безопасного доступа и вопросы эффективности организации блокчейна, ориентированного на smart–объекты типа умная больница, умная фабрика и др.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
13.09.2021
Семинар «Инжиниринг современных информационных систем»
16 сентября 2021 г. (четверг), 14:00 (10:00 МСК)
Тема: Техника блокчейн для нефинансовых применений в Интернете вещей
Докладчик: Алекс Шафаренко (Университет Хартфордшира, Англия)
Аннотация: В докладе планируется затронуть протоколы безопасности, архитектуру и основные структуры созданного автором блокчейна PLS. Будет рассмотрена модель риска, обсуждена макро архитектура системы, предложены новые криптопротоколы, проанализирован режим чрезвычайной ситуации и разработаны новые индексные структуры для обеспечения прямого доступа к блокчейну для платформ с ограниченными ресурсами: умные сенсоры/активаторы на основе ESP32 и коммуникационной среды LoRa..
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара
01.09.2021
Семинар «Инжиниринг современных информационных систем»
2 сентября 2021 г. (четверг), 10:00 (6-00 МСК)
Тема: PLC-Easy: DCS solution based on Schneider PLCs and Wonderware SCADA
Докладчик: Martyn Hilbers, E, I&C Engineer, (Cleveland, USA)
Аннотация: PLC-Easy is a no-nonsense, no-frills and no code DCS solution based on Schneider PLCs and Wonderware SCADA. We believe that creating control software should be simple and fast like creating a PowerPoint presentation. Further, we believe that people that have in-depth knowledge of a process should be empowered to translate that knowledge into control functionalities. PLC-Easy combines the advantages of a DCS (consistency, reusability, scalability, etc.) with the endless possibilities of a PLC-SCADA system.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
site: https://www.plc-easy.com/ , video (20 min): https://youtu.be/h3vV6KLCy0k
Страница семинара
27.03.2021
Семинар «Инжиниринг современных информационных систем»
29 марта 2021 г. (понедельник), 10-00 (6-00 МСК)
Тема: Предметно-ориентированное решение для разработки device managment подсистемы семейства телекоммуникационных систем
Докладчик: д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)
Аннотация: Разработка новых предметно-ориентированных языков программирования, их интеграция с предметно-ориентированными визуальными языками и реализация итогового программного решения - все это является актуальными задачами при разработке программного обеспечения. Доклад будет посвящен решению этой задачи в рамках семейства программно-аппаратных систем крупной телекоммуникационной корпорации. Особое внимание будет уделено бесшовной интеграции предметно-ориентированного языка программирования и визуального языка, а также архитектуре целевого программного решения.
Видео -- https://www.youtube.com/watch?v=esnvZo-DnRM
Страница семинара
12.03.2021
Семинар «Инжиниринг современных информационных систем»
16 марта 2021 г. (вторник), 10-00 (6-00 МСК)
Тема: Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)
Докладчик: Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)
Аннотация: Формальный дедуктивный анализ представляет собой строгий математический подход к верификации алгоритмов: алгоритм описывается с помощью аксиом, а требуемые свойства доказываются как теоремы. В докладе на примере технологического процесса генерации эндогаза рассматривается процедура дедуктивной верификации на платформе Rodin (Event-B): описывается задача, автоматный алгоритм управления, определяются требования, приводится процедура преобразования алгоритма и требований для целей верификации в виде набора аксиом и теорем, демонстрируется процедура верификации, которая сводится к доказательству теорем.
Материалы: 1. Максим Нейзов. Формальный дедуктивный анализ автоматного алгоритма управления генератором эндогаза с помощью платформы Rodin. Часть 1. Часть 2. Часть 3. 2. Презентация доклада. 3. Архив проекта Rodin.
Видео -- https://youtu.be/Miqi4DWqS8o
Страница семинара
18.11.2019
Семинар «Инжиниринг современных информационных систем»
20 ноября 2019 г. (среда), 11:00, конференц-зал ИАиЭ
Тема доклада: Создание фабрик программных продуктов на основе модельно-ориентированного подхода
Докладчик: д.т.н., проф. Кознов Дмитрий Владимирович (СПбГУ)
Доклад посвящен модельно-ориентированному подходу для организации фабрик программных продуктов. Под фабрикой подразумеваются такие линейки продуктов, когда каждый следующий продукт создается с применением кодогенерации по моделям с минимальным привлечением «ручного» программирования. Будут рассмотрены statecharts для телекоммуникационной сферы, а также некоторые другие виды UML-диаграмм. В докладе будут приведены данные по ряду реальных проектов, сформулированы выводы и уроки.
Страница семинара
12.03.2019
Семинар «Инжиниринг современных информационных систем»
15 марта 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1
Тема доклада: Язык требований в автоматном программировании
Докладчик: канд. техн. наук, зав.лаб. Шелехов Владимир Иванович (Институт систем информатики им. А. П. Ершова)
В обзорной лекции, которую прочитает заведующий лабораторией системного программирования ИСИ СО РАН, будут обсуждаться вопросы инженерии требований в программах, широко используемых в системах управления, встраиваемых системах, и вообще -- в кибер-физических системах.
Ссылка на видеозапись -- https://www.youtube.com/watch?v=IpZ9VlIcHYQ
Страница семинара
|