Пути повышения надежности и качества программного обеспечения в космической отрасли

Автор(ы): Тюгашев А. А., Ильин И. А., Ермаков И. Е.

Название статьи: Пути повышения надежности и качества программного обеспечения в космической отрасли

Выпуск: 39

Рубрика: Надежность и диагностика средств и систем управления

Год: 2012

Библиография: Тюгашев А. А., Ильин И. А., Ермаков И. Е. Пути повышения надежности и качества программного обеспечения в космической отрасли / Управление большими системами. Выпуск 39. М.: ИПУ РАН, 2012. С.288-299.

Гос. регистрационный номер: 0421200023\0052

Дата опубликования: 30.09.2012

Ключевые слова: управляющее программное обеспечение, космический аппарат, верификация, тестирование программ

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

Author(s): Tyugashev A., Ilyin I., Ermakov I.

Article title: Ways to improve quality and reliability of software in aerospace industry

Issue: 39

Year: 2012

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

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.

в формате PDF
Обсудить статью в Интернет-конференции

Просмотров: 4925; загрузок: 1706, за месяц: 18.

Назад