Лектор: c.н.с. В.В. Балашов

В курсе излагаются: принципы построения аппаратных и программных средств информационно-управляющих систем реального времени (ИУС РВ); подходы к проектированию ИУС РВ; математические основы и алгоритмы планирования вычислений в ИУС РВ; математические основы и алгоритмы доказательства гарантированного выполнения требований реального времени в ИУС РВ.

Экзаменационные вопросы (24.12.2019)

Материалы лекций

Литература

  1. Burns, A., Wellings, A. Real-Time Systems and Programming Languages (Fourth Edition, 2009).
  2. Wilhelm, R., Engblom, J., et al. The worst-case execution-time problem — overview of methods and survey of tools. ACM Trans. on Embedded Computing Systems (TECS), Vol. 7, No. 3, 2008.
  3. Парамонов, П., Жаринов, И. Интегрированные бортовые вычислительные системы: обзор современного состояния и анализ перспектив развития в авиационном приборостроении. Научно-технический вестник информационных технологий, механики и оптики, 2013.
  4. Синицын, С., Налютин, Н. Верификация программного обеспечения. Курс лекций. Московский инженерно-физический институт, 2006.

Актуальное расписание

Подписаться:
Календарь