|
Upravlenie Bol'shimi Sistemami, 2012, Issue 39, Pages 288–299
(Mi ubs630)
|
|
|
|
Reliability and Diagnostics of Control Systems and Tools
Ways to improve quality and reliability of software in aerospace industry
A. A. Tyugasheva, I. Ilyinb, I. Ermakovc 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.
Citation:
A. A. Tyugashev, I. Ilyin, I. Ermakov, “Ways to improve quality and reliability of software in aerospace industry”, UBS, 39 (2012), 288–299
Linking options:
https://www.mathnet.ru/eng/ubs630 https://www.mathnet.ru/eng/ubs/v39/p288
|
Statistics & downloads: |
Abstract page: | 310 | Full-text PDF : | 253 | References: | 32 | First page: | 2 |
|