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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

11 ноября 2021 г. (четверг), 14:00 (10:00 МСК)

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

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

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

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

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

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

28 октября 2021 г. (четверг), 14:00 (10:00 МСК)

Тема:
Ко-моделирование аппаратной и программной части реальной киберфизической системы: ArduPilot на основе Arduino

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

Аннотация: Изучение передового опыта архитектурной организации программных систем для реальных киберфизических систем можно проводить на решениях с открытым исходным кодом, которые разрабатываются большими сообществами энтузиастов. Такие решения неоднократно тестировались на реальных устройствах в различных природных условиях. Построение моделей с использованием программного кода, представление их в графической форме позволяет нам анализировать устойчивые архитектурные программно-аппаратные решения и свойства таких систем. В докладе рассматривается система управления квадрокоптером на базе платы ArduPilot Mega, обсуждается планировщик задачи и их взаимосвязь. Также обсуждается распределенное решение для системы управления на базе SPI и CAN-шины.

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

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

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

15 октября 2021 г. (пятница), 14:00 (10:00 МСК)

Тема:
Сдвиговый автомат как средство задания структурных свойств автоматной модели поведения

Докладчик:
Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган)

Аннотация: Доклад посвящен подходу к дедуктивной верификации управляющих программ, который заключается в построении автоматной модели программы и задании на её основе системы аксиом. При построении аксиоматики одной из ключевых задач является задача формализации структурных свойств автоматной модели. В качестве решения в докладе будет представлена модификация автоматной модели, которая получила название "сдвиговый автомат". Свойства модели демонстрируются и обсуждаются на примерах.

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

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