О подготовке магистров по образовательной программе «Программная инженерия систем реального времени» в ИТМО

Данная магистерская программа нацелена на приобретение практических навыков создания и сопровождение программного обеспечения систем реального времени, применяемых при управлении сложными техническими комплексами и технологическими процессами в энергетике, телекоммуникациях и других сферах.

Теоретические занятия дают углубленные знания в области теоретического программирования, моделирования автоматизированных систем, современных методов верификации программного обеспечения, включая проверку моделей (model checking), строгие дедуктивные методы и пр. Практическая часть обучения содержит освоение и участие в построении инструментальных средств автоматизации различных этапов жизненного цикла программной продукции (критически важных приложений). Магистранты кафедры участвуют в научно-исследовательских и прикладных проектах кафедры компьютерных образовательных технологий. 

Поступить на программу «Программная инженерия систем реального времени»  могут выпускники, окончившие специалитет и бакалавриат по направлениям «Программная инженерия», «Информационные системы и технологии», «Информатика и вычислительная техника». Магистранты  получают доступ к современным лабораториям, исследовательским центрам и другим ресурсам Университета ИТМО. Иногородним магистрантам предоставляются места в общежитии.

Магистранты изучат и смогут применять на практике:

- общие принципы построения программного обеспечения систем реального времени;

- теоретические основы спецификации, моделирования и верификации программных систем включая методы формальной спецификации требований, генерации тестов;

- основы жизненного цикла надежного и качественного программного обеспечения критической важности на предприятиях космической, авиационной отрасли, судостроения;

- принципы построения современных технологических сред разработки программ;

- методы визуального моделирования и программирования.

 Выпускники магистерской программы  востребованы:

а) на предприятиях, подведомственных Роскосмосу (КБ и МЗ «Арсенал» Санкт-Петербург, РККЭ, НПО имени Лавочкина, ВНИИЭМ, МОКБ «Марс», НПЦ АП, г. Москва и Московская область, и др.) и занимающихся разработкой программного обеспечения ракетно-космической техники.

б) на предприятиях оборонно-промышленного комплекса, (ОАК, ОДК, ОПК), выпускающих сложные технические изделия, управляемые бортовыми информационно-вычислительными комплексами;

в) в организациях, занимающихся разработкой, установкой и настройкой АСУ ТП на предприятиях разных отраслей промышленности, транспорта, телекоммуникаций и энергетики, связанных с управлением в реальном режиме времени.

Регионы РФ, испытывающие потребность в специалистах  данного профиля – г. Санкт-Петербург, Ленинградская область, другие промышленно развитые регионы России, включая Москву и Московскую область, Поволжье, Урал, Сибирь и Дальний Восток.

Кроме того, желающие и имеющие потенциал выпускники могут продолжить обучение в аспирантуре на кафедре компьютерных образовательных технологий Университета ИТМО.