НАВИГАТОР КУРСА: Что и в какой последовательности изучать, когда и какие задачи решать.
ПО ВСЕМ ВОПРОСАМ ОБРАЩАТЬСЯ КО МНЕ ПО АДРЕСАМ fsergei@mail.ru, slf-ipiran@mtu-net.ru (пока желательно копии- в оба адреса, до особых указаний).
Курс соответствует Программа МОЭВС
Изучение курса следует начинать с раздела (Тема 1 Программы МОЭВС ) Модели и показатели производительности вычислительных систем ,в котором дан обзор современных подходов к моделированию вычислительных систем (ВС) и описаны основные метрики производительности. Основное внимание в этом разделе уделено вероятностным моделям поведения ВС, которые рассматриваются в сравнении с возможными детерминистскими способами моделировния. Обратите внимание на эти различия, и сформулируйте возможные критерии использования этих классов моделей для оценки и предсказания производительности графических ВС, иллюстрируя примером выбранной Вами программы (и пришлите Ваши результаты преподавателю!).
Принципы измерения производительности найдите по ссылке Измерение Производительности
С техникой измерения (включая статистическую обработку измерений) следует знакомиться по Техника Измерений. и Z-test , следуя указаниям Практические работы .
Продемонстрировать усвоение полученных знаний Вы сможете выполнив лабораторную работу 1
После изучения моделирования вычислительных систем в терминах конечных автоматов и Цепей Маркова следует выполнить лабораторную работу 2
Для выполнения лабораторной работы 3, временная верификация систем, моделируемых системами переходов,установите программу SMv по ссылке http://w2.cadence.com/webforms/cbl_software/index.aspx (предварительно зарегистрировавшись). Прочитайте материал Логико-Временная Верификация , вместе с SMV Manual . Каждый студент получит свое задание. После знакомства с SMV, можно перейти к верификации свойств программ с использованием системы spin