WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 ||

для сохранения опыта, накопленного в отрасли за десятилетия (и предотвращения реальной угрозы его невосполнимой утраты) и пополнения этого опыта современными достижениями науки и практики;

для обеспечения основы взаимодействия с системой высшего и специального образования.

Соответственно, можно выделить следующие виды работ по указанным направлениям:

аналитическое – изучение отечественного и зарубежного опыта в области создания ПО в аэрокосмической отрасли, отслеживание перспективных тенденций и их оценка, изучение соответствующих процессов на предприятиях нашей страны;

Технические и программные средства управления теоретическое – разработка формализованных методов и математических моделей, применимых на различных этапах жизненного цикла критического ПО;

нормативное – разработка требований, рекомендаций и проектов стандартов, регламентирующих процессы разработки и этапы жизненного цикла БПО;

технологическое – формулирование требований к средствам инструментального ПО их проектирование и разработка;

информационно-методическое – создание электронной отраслевой базы знаний по теме разработки и использования ПО, планирование состава и содержания методического обеспечения подготовки специалистов соответствующего профиля для аэрокосмической отрасли.

Литература 1. Авиастроение. Том 6. (Итоги науки и техники, ВИНИТИ АН СССР). – М., 1978.

2. БАЛТРУШАЙТИС В.В. «ГРАФИТ-ФЛОКС» – технология разработки программного обеспечения бортовых вычислительных машин // Тезисы докл. Межд. научнотехн. конф., посвященной 90-летию со дня рождения акад. Н.А. Пилюгина. – М.: НПЦ АП, 1998. – С. 79–81.

3. ДЕЙКСТРА Э.В. Навстречу корректным программам.

– Grenoble: Mathematics Technological University, 1967.

4. ИЛЬИН И.А., ЕРМАКОВ И.Е., ТЮГАШЕВ А.А. Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли // Актуальные проблемы российской космонавтики: Труды XXXVI Академических чтений по космонавтике, Москва, январь 2012 г. – С. 468.

5. КАЛЕНТЬЕВ А.А., ТЮГАШЕВ А.А. ИПИ/CALS технологии в жизненном цикле комплексных программ управУправление большими системами. Выпуск ления. – Самара: Изд-во Самарского научного центра РАН, 2006.

6. КИРИЛИН А.Н., АХМЕТОВ Р.Н., СОЛЛОГУБ А.В., МАКАРОВ В.П. Методы обеспечения живучести низкоорбитальных автоматических КА зондирования Земли: математические модели, компьютерные технологии. – М.: Машиностроение, 2010. – 384 с.

7. КОЛТАШЕВ А.А. Эффективная технология управления циклом жизни бортового программного обеспечения спутников связи и навигации // Авиакосмическое приборостроение. – 2006. – №12. – С. 20–25.

8. ПАРОНДЖАНОВ В.Д. Развитие системного обеспечения вычислительных комплексов при отработке систем управления ракет-носителей и космических аппаратов / В кн.: XXII научные чтения по космонавтике, посвященные памяти академика С.П. Королева и других выдающихся отечественных ученых – пионеров освоения космического пространства. Тезисы докл. – М.:ИИЕТ РАН, 1998. – С.14–15.

9. ТЮГАШЕВ А.А. Интегрированная среда для проектирования управляющих алгоритмов реального времени // Известия российской академии наук: Теория и процессы управления. – 2006. – №2. – С. 128–141.

10. Управление космическими аппаратами зондирования Земли: компьютерные технологии / Д.И. Козлов, Г.П. Аншаков, Я.А. Мостовой, А.В. Соллогуб. – М.:

Машиностроение, 1998. – 368 с.

11. ХАРТОВ В. В. Автономное управление космическими аппаратами связи, ретрансляции и навигации // Авиакосмическое приборостроение. – 2006. – №6. – С. 29–33.

12. BROOKSE F. No Silver Bullet – Essence and Accident in Software Engineering // Proceedings of the IFIP 10th World Технические и программные средства управления Computing Conference, Dublin, Ireland, September 1-5, 1986. – P. 1069–1076.

WAYS TO IMPROVE QUALITY AND RELIABILITY OF SOFTWARE IN AEROSPACE INDUSTRY Andrey Tyugashev, Samara State Aerospace University, professor (tau7@ssau.ru).

Ilya Ilyin, TsNIIMASH (Korolyov, ilyailyin@yandex.ru).

Ilya Ermakov, NPO Tesla, Technical Director (ilya@ermakov.net.ru).

Abstract: The problem is considered of reliable control software development for Aerospace Industry. The state-of-the-art is described and possible ways to increase quality, reliability and safety of the critical software are proposed.

Keywords: control software, spacecraft, program verification, program testing.

Статья представлена к публикации членом редакционной коллегии М. В. Губко

Pages:     | 1 ||



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.