Персональные инструменты
Вы здесь: Главная seminar

Семинар кафедры системного программирования

 

 

 

 

 

Ближайшее заседание: вторник 18 декабря 2018 17-00 каб. А.Н. Терехова

Рене Хаберланд (ЛЭТИ)
Логический язык программирования как инструмент спецификации и верификации динамической памяти

Ошибки использования динамической памяти являются одними из самых дорогостоящих при разработке программного обеспечения на протяжении уже нескольких десятилетий. Локализация таких ошибок является трудной задачей, поскольку, довольно часто, видимое проявление некорректного поведения программы и реальный участок исходного кода его вызвавшего отстоят далеко друг от друга. В существующей на текущий момент практике, описания динамической памяти сложны и часто неинтуитивны. Из-за большого количества соглашений в языках спецификации и верификации возможности верификации динамической памяти сильно ограничены.
 
В докладе будут представлены результаты работы, посвященной повышению степени выразимости средств описания вариантов использования динамической памяти за счёт исключения многозначности между языками спецификации и верификации, а также обзору разработанных  программных средств автоматической верификации.


Прошедшие заседания 2018/2019 учебного года:

23 октября 2018
(вторник 17-00 каб. А.Н. Терехова)

Сартасов Станислав Юрьевич
Многоядерные процессоры, кэш-память и визуальное моделирование: открытые вопросы современной теории расписаний

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

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


Архив семинара

Заседания 2017/2018 учебного года

Заседания 2016/2017 учебного года

Заседания 2014/2015 учебного года

Заседания 2013/2014 учебного года

Заседания 2012/2013 учебного года

Заседания 2011/2012 учебного года

Заседания 2010/2011 учебного года

Заседания 2009/2010 учебного года

Действия с Документом