Институт в фотографиях

Институт автоматики и электрометрии СО РАН 
Институт систем информатики СО РАН им. А. П. Ершова

Межинститутский семинар
"Инжиниринг современных информационных систем"

Координатор семинара

zyubin sm

д-р техн. наук

Зюбин Владимир Евгеньевич

Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Секретарь семинара

Лях Татьяна Викторовна

Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

 


isislogo

25.06.2023

Семинар «Инжиниринг современных информационных систем»

28 июня 2023 г. (среда), 14:00 (10:00 МСК)

Тема:
Моделирование событийно–дискретных систем (на примере задачи регулирования потоков машин с ограничениями)

Докладчик:
Шорников Юрий Владимирович (д. т. н., ИАиЭ СО РАН)

Аннотация: В докладе рассматривается пример использования гибридно-автоматного подхода для моделирования и верификации событийно–дискретных систем. В качестве модельной задачи выбрана задача управления потоками машин через мост (система Rodin).

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

Страница семинара

 

isislogo

07.12.2022

Семинар «Инжиниринг современных информационных систем»

9 декабря 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Эффективная реализация модели ассоциативных вычислений на графических ускорителях для решения задач на графах
(соискание уч. степ. канд. техн. наук по специальности 2.3.5 - «Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей», отзыв ведущей организации)

Докладчик:
Снытникова Татьяна Валентиновна (ИВМиМГ СО РАН)

Текст автореферата

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

Страница семинара

 

isislogo

16.07.2022

Семинар «Инжиниринг современных информационных систем»

19 июля 2022 г. (вторник), 14:00 (10:00 МСК)

Тема:
Бесшовная объектно-ориентированная разработка

Докладчик:
Александр Наумчев

Аннотация: Проблемы переиспользования требований, проблемы с их понятностью и проверяемостью являются одними из основных угроз для программных проектов. В докладе рассматривается применение объектно-ориентированного подхода к инженерии требований, в частности, рассматривается онлайн-библиотека шаблонов требований и способы их повторного использования.. 

Ссылка на вебинар для подключения -- https://meet.google.com/iqb-gbix-azj

Страница семинара

 

isislogo

03.06.2022

Семинар «Инжиниринг современных информационных систем»

03 июня 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Виды вложенности автоматов: формальная семантика (в рамках автоматно-функционального подхода)

Докладчик:
Нейзов Максим Вячеславович

Аннотация: Дается обзор вложенностей разного вида на конкретном примере, а также обсуждается их формальная семантика в терминахавтоматно-функционального подхода. 

Видео -- https://youtu.be/RevSOB8_OBc

Страница семинара

 

isislogo

17.05.2022

О развитии автоматного программирования:
отклик А. Шалыто на серию вебинаров ИСИС


Институт автоматики и электрометрии СО РАН и Институт систем информатики СО РАН им. А.П. Ершова проводят межинститутский семинар «Инжиниринг современных информационных систем». На серию вебинаров ИСИС получен отклик от А. А. Шалыто.

Подробнее...

 

Подробнее...

isislogo

04.05.2022

Семинар «Инжиниринг современных информационных систем»

06 мая 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Автоматно-функциональный подход к моделированию киберфизических систем (на примере Event-B модели для верификации свойств алгоритма управления движением автомобилей на мосту)

Докладчик:
Нейзов Максим Вячеславович

Аннотация: Описывается оригинальный подход к построению моделей киберфизических систем с целью их дедуктивной верификации. В качестве примера будет рассмотрена задача управления движением автомобилей на мосту. Представлена модель киберфизической системы в нотации Event-B, проведена формализация требований к системе. Верификация выполняется с помощью платформы Rodin.

видео -- https://youtu.be/891jZr-7Mos

Страница семинара

 

isislogo

21.04.2022

Семинар «Инжиниринг современных информационных систем»

22 апреля 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Спецификация и анализ событийно-непрерывных систем

Докладчик:
Шорников Юрий Владимирович (ИАиЭ СО РАН, Новосибирск)

Аннотация: В докладе освещаются текущие подходы к моделированию, языкам спецификации и анализу событийно-непрерывных систем, а также результаты, полученные автором в этой области. 

Cсылка на вебинар

Страница семинара

 

isislogo

30.03.2022

Семинар «Инжиниринг современных информационных систем»

1 апреля 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Автоматное программирование на базе системы моделирования и верификации Event-B

Докладчик:
Шелехов Владимир Иванович
(Институт систем информатики СО РАН, Новосибирск)

Аннотация: Определяется концепция автоматного программирования. Представляется  язык автоматного программирования, построенный расширением языка спецификаций Event-B. Определяется модель Event-B в автоматном программировании. Описывается технология разработки и верификации на базе системы Event-B. Технология демонстрируется на примере задачи управления движением на мосту из руководства по системе Event-B.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

видео -- https://youtu.be/la-DLQ4uf8M

Страница семинара

 

isislogo

10.03.2022

Семинар «Инжиниринг современных информационных систем»

11 марта 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Инструментальная поддержка разработки через тестирование ПО для вентильных матриц

Докладчик:
Сергей Старолетов (ИАиЭ СО РАН, Новосибирск)

Аннотация: На семинаре планируется обсудить концепцию разработки ПО для вентильных матриц на основе подхода test-driven development. Среди прочего планируется провести критический анализ недостатков существующих IDE для FPGA, рассмотреть вопросы использования темпоральных логик, примеры использования подхода на модельной задаче, подходы к поддержке предлагаемого метода разработки на уровне IDE.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара

 

isislogo

12.11.2021

Семинар «Инжиниринг современных информационных систем»

17 ноября 2021 г. (среда), 15:00 (11:00 МСК)

Тема:
Framework for closed-loop formal verification of distributed automation software with plant model generator from event logs

Докладчик:
Midhun Xavier (Luleå University of Technology, Sweden)

Аннотация: This seminar introduces a concept of an automatic generation of a formal model of plant from the event logs. The formal model implementation and its verification are done with the help of a comprehensive toolchain that can combine design, simulation, formal verification, and distributed deployment of automation software. The talk discusses conceptual, methodological, and instrumental components of the toolchain.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара