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

20 декабря 2024 г. (пятница), 14:00 (10:00 МСК), google-meet

Тема:
Формальный анализ протокола CAN

Докладчик:
к.т.н. Старолетов Сергей Михайлович (ИАиЭ СО РАН)

Аннотация:
В обзорном докладе рассмотрены способы формальной спецификации и верификации канального уровня CAN-шины — высокоскоростной последовательной шины с разрешением коллизий, широко используемой во встраиваемых распределенных системах управления (автомобилестроение, промышленность, авионика). Рассмотрены спецификации для трех видов контроллеров CAN и проверка этих спецификаций по 12 важным свойствам с использованием пакета MurPhi (Murφ).

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

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

Международная конференция и работа в лаборатории нечётких технологий: интервью с инженером-программистом Александрой Герасимовой

Инженер-программист лаборатории нечётких технологий Александра Герасимова рассказывает о поездке на международную конференцию, своей научной деятельности и о том, как пришла работать в ИАиЭ СО РАН.

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

В ИАиЭ СО РАН исследуют формирование упорядоченных металл-диэлектрических структур для применений в волоконной оптике и оптической сенсорике

В тематической группе фемтосекундных лазерных технологий ИАиЭ СО РАН продолжается реализация гранта РНФ (№21-72-20162), связанная с исследованием перспективных режимов формирования упорядоченных периодических структур на поверхности металлов и полупроводников при воздействии фемтосекундного лазерного излучения.

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

Подведены итоги конкурса важнейших научных результатов среди молодых сотрудников

Впервые рассмотрение важнейших результатов запущено отдельно для молодёжи на конкурсной основе.

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

Конкурс на замещение вакантных должностей

Федеральное государственное бюджетное учреждение науки Институт автоматики и электрометрии СО РАН объявляет конкурс на замещение вакантной должности инженера-исследователя, отрасль науки – «физика и астрономия».

Дата начала приёма заявок – 05.12.2024г.
Дата окончания приёма заявок – 04.02.2025г.

Документы направлять по адресу: 630090, г. Новосибирск, проспект Акад. Коптюга, 1, комната 201. Справки по телефону: 333-28-33.

Положение о конкурсе и перечень необходимых документов размещены на сайте Института: http://www.iae.nsk.su в разделе «Конкурсы». Объявление о конкурсе размещено на портале вакансий: http://ученые-исследователи.рф

Состоялось торжественное закрытие фестиваля Наука 0+

В Правительстве Новосибирской области подвели итоги всероссийского фестиваля Наука 0+, проходящего в регионе с 14 по 22 ноября.

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

Старший научный сотрудник ИАиЭ СО РАН получил грант РНФ

Объявлены итоги конкурса на получение грантов РНФ по мероприятию «Проведение фундаментальных научных исследований и поисковых научных исследований малыми отдельными научными группами». Одним из победителей стал к.ф-м.н., старший научный сотрудник лаборатории спектроскопии конденсированных сред ИАиЭ СО РАН К.А. Окотруб.

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

РНФ начинает приём заявок по двум конкурсам для молодых исследователей

Конкурсы проходят по девяти отраслям знаний.

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

Второй тур важнейших результатов ИАиЭ СО РАН среди молодёжи

Сегодня в конференц-зале продолжились слушания докладов в рамках конкурса лучших результатов молодых научных сотрудников.

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

Конкурс работ на соискание премий Правительства РФ-2025

Правительство РФ проводит конкурс работ на соискание премий по трём направлениям: в области образования; в области науки и техники; в области науки и техники для молодых учёных.

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