A. A. Tyugashev, I. Ilyin, I. Ermakov, “Ways to improve quality and reliability of software in aerospace industry”, UBS, 2012, Issue 39,Pages <nobr>288

Reliability and Diagnostics of Control Systems and Tools

Ways to improve quality and reliability of software in aerospace industry

A. A. Tyugashev^a, I. Ilyin^b, I. Ermakov^c

^a Samara State Aerospace University
^b TsNIIMASH
^c NPO Tesla

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.

UDC: 681.51:629.78
BBK: 32.973.202