Рассмотрены основы визуального проектирования программных систем с использованием высокоуровневого графического языка UML. Представлены учебно-методические материалы для освоения полного цикла проектирования модели операционной системы реального времени с использованием инструментального пакета Telelogic TAU G2. Приведено описание модели операционной системы стандарта OSEK и предложены варианты тестовых заданий для выполнения студентами в рамках изучения дисциплины «Технологии программирования». Предназначено для студентов высших технических учебных заведений, обучающихся по направлениям подготовки 09.03.01 «Информатика и вычислительная техника», 09.03.04 «Программная инженерия», для студентов других специальностей, изучающих дисциплину «Технологии программирования».