Одним из главных принципов уникальной «системы Физтеха», заложенной в основу образования в МФТИ, является тщательный отбор одаренных и склонных к творческой работе представителей молодежи. Абитуриентами Физтеха становятся самые талантливые и высокообразованные выпускники школ всей России и десятков стран мира.

Студенческая жизнь в МФТИ насыщенна и разнообразна. Студенты активно совмещают учебную деятельность с занятиями спортом, участием в культурно-массовых мероприятиях, а также их организации. Администрация института всячески поддерживает инициативу и заботится о благополучии студентов. Так, ведется непрерывная работа по расширению студенческого городка и улучшению быта студентов.

Адрес e-mail:

11 марта в рамках курса «Современные проблемы системного программирования» пройдет лекция «Проблемы обеспечения надежности программ и аппаратуры»

опубликовано: 05.03.2013

Лекция пройдет 11 марта в 17:00 в 910 КПМ.

Лекцию проводит старший научный сотрудник ИСП РАН, к.ф.-м.н. Камкин Александр Сергеевич.

 

Аннотация лекции:

Сложность компьютерных систем постоянно растет. Все больше функций возлагается на эти системы, в частности, растет число систем критичных по безопасности, отказы которых ведут огромным потерям и человеческим жертвам. Технологии разработки программ и аппаратуры постоянно прогрессируют, это позволяет строить все более крупные системы в относительно короткие сроки. Однако прогресса в повышении надежности программно-аппаратных систем аналогичного прогресса не наблюдается. Даже самые ответственные микропроцессорные системы выходят в серию с десятками неисправленных ошибок, в самых ответственных компонентах ПО, в операционных системах число ошибок измеряется десятками тысяч.

Решить проблему надежности должно развитие технологий верификации. Диапазон используемых подходов к решению задачи верификации чрезвычайно широк — от ручной разработки тестов до формального доказательства корректности программ и схем микропроцессоров с использованием средств автоматизированного доказательства теорем (theorem proving) и проверки моделей (model checking). Ввиду огромной трудоемкости верификации (более 60% от всех затрат на проектирование микропроцессора) чрезвычайно актуальной задачей является разработка инструментов автоматизации верификации. В докладе рассматриваются проблемы, возникающие в этой области, подходы к их решению, исследования и разработки, выполняемые в ИСП РАН.

 

Приглашаются все желающие.

Страница курса

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

© 2001-2016 Московский физико-технический институт
(государственный университет)

Техподдержка сайта

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li
Яндекс.Метрика