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