Новости ИСП РАН
Презентация базовой кафедры ИСП РАН факультета компьютерных наук
22 сентября в 18:00 на факультете компьютерных наук пройдет презентация Базовой кафедры Института системного программирования Российской академии наук (ИСП РАН).
Программа мероприятия:
1. Открытие и презентация базовой кафедры ИСП РАН: Иван Владимирович Аржанцев, доктор физико-математических наук, декан факультета компьютерных наук НИУ ВШЭ Виктор Петрович Иванников, академик РАН, заведующий базовой кафедрой ИСП РАН
2. Доклад: "Верификация и разработка ответственного программного обеспечения. Нетипичная практика" Александр Константинович Петренко, доктор физико-математических наук, заведующий отделом Технологий программирования ИСП РАН
В докладе рассматриваются проблемы обеспечения корректности и надежности ответственного программного обеспечения, от правильности и надежности которого зависят критические важные процессы, где отказы и сбои могут привести к большим потерям и даже человеческим жертвам.
В основе доклада лежит опыт применения таких методов как формальная спецификация программных контрактов, тестирование на основе моделей, верификация программных моделей (software modelchecking), дедуктивная верификация в индустриальных проектах, где объектами верификации были операционные системы, телекоммуникационные протоколы, компиляторы и проекты микропроцессоров. Обсуждаются текущие достижения формальных методов разработки программ в задачах моделирования и верификации реальных программно-аппаратных систем ответственного назначения.
Более подробную информацию о кафедре можно получить здесь.