УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта

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


Название статьи:  Пути повышения надежности и качества программного обеспечения в космической отрасли
Выпуск: 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
Обсудить статью в Интернет-конференции

Просмотров: 3379; загрузок: 1161, за месяц: 15.

Назад

ИПУ РАН © 2007. Все права защищены