Новости ИСП РАН


Новости ИСП РАН

22 Сентября, 2015

Презентация базовой кафедры ИСП РАН факультета компьютерных наук

22 сентября в 18:00 на факультете компьютерных наук пройдет презентация Базовой кафедры Института системного программирования Российской академии наук (ИСП РАН).

Программа мероприятия:

1. Открытие и презентация базовой кафедры ИСП РАН:
Иван Владимирович Аржанцев, доктор физико-математических наук, декан факультета компьютерных наук НИУ ВШЭ
Виктор Петрович Иванников, академик РАН, заведующий базовой кафедрой ИСП РАН

2. Доклад: "Верификация и разработка ответственного программного обеспечения. Нетипичная практика" Александр Константинович Петренко, доктор физико-математических наук, заведующий отделом Технологий программирования ИСП РАН

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

В основе доклада лежит опыт применения таких методов как формальная спецификация программных контрактов, тестирование на основе моделей, верификация программных моделей (software modelchecking), дедуктивная верификация в индустриальных проектах, где объектами верификации были операционные системы, телекоммуникационные протоколы, компиляторы и проекты микропроцессоров. Обсуждаются текущие достижения формальных методов разработки программ в задачах моделирования и верификации реальных программно-аппаратных систем ответственного назначения.

Более подробную информацию о кафедре можно получить здесь.


Все новости