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

Прием тезисов завершен. Вы можете только разместить черновик.
Авторы: Тюгашев Андрей Александрович, Доктор технических наук, Доцент, Победитель конкурса Грантов Президента РФ для молодых докторов наук (МД2009). Эксперт научно-технической сферы Российской Федерации., Лисицына Любовь Сергеевна, Зав.кафедрой "Компьютерные образовательные технологии"
Федеральное государственное автономное образовательное учреждение высшего образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики»
Рассказывается об опыте авторов в части обоснования актуальности, разработки и вводе в действие с первым набором обучающихся магистерской образовательной программы «Программная инженерия систем реального времени» в федеральном государственном автономном образовательном учреждении высшего образования «Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики». Рассказывается о планах взаимодействия с ведущими высокотехнологичными предприятиями Сан

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Список использованных источников
  1. 09.04.04. Программная инженерия систем реального времени http://abit.ifmo.ru/ru/subspec/298/subspec_298.htm
  2. 2. Кафедра КОТ http://dce.ifmo.ru/pages/i/dir_mag2
Вид представления доклада  Устное выступление и публикация
Уровень  Магистратура
Ключевые слова  Основная образовательная программа, магистерская программа, программная инженерия, системы реального времени, критически важное программное обеспечение.

По вопросам спонсорского участия, оплаты участия коммерческих компаний, а также иным организационно-информационным вопросам просьба обращаться в организационный комитет по адресу: dea@ito.edu.ru, edu@apkit.ru или по телефону: +7 (925) 514-33-74.