Qualification tests of the critical software for space systems: target technology of independent verification and latent defect prediction

1Konorev, BM, 2Alekseev, Yu.G, 3Zasuha, SA, 3Semenov, LP, 4Kharchenko, VS, 2Chertkov, GN
1Public Joint Stock Company «HARTRON», Kharkiv, Ukraine
2Limited Liability Company "Certification Center of Automated Control Systems", Kharkiv, Ukraine
3State Space Agency of Ukraine, Kyiv, Ukraine
4I. Kozhedub Kharkiv Air Force University, Kharkiv, Ukraine
Kosm. nauka tehnol. 2008, 14 ;(4):09-26
https://doi.org/10.15407/knit2008.04.009
Section: Spacecraft Dynamics and Control
Publication Language: Russian
Abstract: 
We present a conception and methodology for independent verification and validation of critical software (SW) which are based on the quantitative estimation of measure of verification methods variety (software characteristic measurement). The conception consists in using the diverse measurement method for interval-precision, logical and other software invariants (constant properties) on the basis of static analysis of SW sources. The dependability and safety requirements of existed international standards in space activity area are taken into account.
Keywords: independent verification, methodology, software
References: 
1. Aizenberg Ya. E., Bek A. V., Lysenko A. A., et al. Transport vehicle management system logistics and functional-cargo orbital module "Quantum", "Crystal", "Spectrum", "Nature". The theoretical principles of construction, control algorithms and software development, improvement, field tests: Cycle of works. (Khartron, Kharkov, 1966—1996) [in Russian].
2. Aizenberg Ya. E., Bek A. V., Zlatkin Yu. M., et al. Dynamic testing of on-board embedded computer software of missile and spacecraft control system. Kosm. nauka tehnol., 3 (1-2), 61—74 (1997) [in Russian].
3. Aizenberg Ya. E., Zlatkin Ju. M., Kamenev V. P., et al. Control System family of intercontinental ballistic missiles. The theoretical principles of construction, management and control algorithms, digital computer software, development, improvement, field tests: Cycle of works. (Khartron, Kharkov, 1964—1991) [in Russian].
4. Aizenberg Ya. E., Konorev B. M. Organization of simulation in automated production systems real-time programs. USiM, No. 4, 83—87 (1982) [in Russian].
5. Aizenberg Ya. E., Konorev B. M., Shcherbachenko V. T., et al. Autonomous management of complex rocket "Energy". The theoretical principles of construction, control algorithms and software development, improvement, full-scale tests: Cycle of works (Khartron, Kharkov, 1985—1990) [in Russian].
6. The State Space Program of Ukraine for 2008-2012. (Nacional'ne kosmichne agentstvo Ukrai'ny, Kyiv, 2007) [in Ukrainian]. Available: http://www.nkau.gov.ua
7. Konorev B., Zasuha S, Semenov L., et al. Software quality assessment model for critical application by use of invariants. Radio-electronic and computer systems, No. 7, 162— 170 (2006) [in Russian].
8. Konorev B. M., Zasukha S. A., Semenov L. P., et al. Methodology for assessing the quality and functional safety of critical software elements of space systems. In: Modern training equipment and systems: Zb. nauk. prac' In-tu problem modeljuvannja v energetyci im. G. Je. Puhova, Vol. 2, 85—89 (Kyiv, 2006) [in Russian].
9. Korn G. A., Korn Th. M. Mathematical handbook for scientists and engineers, 720 p. (Nauka, Moscow, 1970) [in Russian].
10. Rules of space activity in Ukraine. Conducting scientific and scientific-technical expertise of projects, research and development works. General Terms and Conditions: Approved by the NCA of Ukraine URCT-10.03. [Pravyla kosmichnoi' dijal'nosti v Ukrai'ni. Provedennja naukovoi' i naukovo-tehnichnoi' ekspertyzy proektiv, naukovo-doslidnyh i doslidno-konstruktors'kyh robit. Zagal'ni polozhennja i vymogy: Zatverdzheno NKA Ukrai'ny URKT-10.03], 91 p. (Kyiv, 2006) [in Ukrainian].
11. Sectoral quality management system. Requirements for the quality of software for critical-purpose software and hardware [Galuzeva systema upravlinnja jakistju. Vymogy do jakosti programnogo zabezpechennja programno-tehnichnyh kompleksiv krytychnogo pryznachennja]: SOU-N NKAU 0012:2006; Zaprov. 01.09.06, 118 p. (NKAU, Kyiv, 2006) [in Ukrainian].
12. Sectoral quality management system. Methods of evaluation of quality indicators of software for critical-purpose software and hardware  [Galuzeva systema upravlinnja jakistju. Metody ocinky pokaznykiv jakosti programnogo zabezpechennja programno-tehnichnyh kompleksiv krytychnogo pryznachennja]: SOU-N NKAU 0031:2007; Zaprov. 01.01.08, 128 p. (NKAU, Kyiv, 2007) [in Ukrainian].
13. Sectoral quality management system. Requirement to functional security of software critical software and hardware complexes [Galuzeva systema upravlinnja jakistju. Vymoga do funkcional'noi' bezpeky PZ programno-tehnichnyh kompleksiv krytychnogo pryznachennja]: SOU-N NKAU 0058:2008, 60 p. (NKAU, 2008) [in Ukrainian].
14. Functional Modelling. Methodology IDEF0: Standard. Russian version, 108 p. (Meta Tehnologija, Moscow, 1993) [in Russian].
15. Kosmichnyj inzhyniryng. Programne zabezpechennja. Ch. 1: Pryncypy ta vymogy. [Space engineering. Software. Part 1: Principles and requirements]: ECSS-E-40 Part IB—2003.
16. Kosmichnyj inzhyniryng. Programne zabezpechennja. Ch. 2: Vyznachennja vymog do dokumentiv. [Space engineering. Software. Part 2: Document requirements definitions (DRDs)]: ECSS-E-40 Part 2B—2005.
17. Garantija produkcii' kosmichnogo pryznachennja. Garantozdatnist'. [Space product assurance. Dependability]: ECSS-Q-30B-2002.
18. Garantija produkcii' kosmichnogo pryznachennja. Bezpeka. [Space product assurance. Safety]: ECSS-Q-40B-2002.
19. Garantija produkcii' kosmichnogo pryznachennja. Garantija programnogo produktu. [Space product assurance. Software product assurance]: ECSS-Q-80B-2002.
20. Garantija produkcii' kosmichnogo pryznachennja. Metody ta metodyky ocinky nadijnosti ta bezpeky programnogo zabezpechennja. [Space product as­surance. Methods and techniques to support the assessment of software dependability and safety]: ECSS-Q-80-2003.
21. Kosmichnyj inzhyniryng. Vymogy do jakosti ta ocinka programnogo zabezpechennja (SQuaRE) — Nastanova z SQuaRE. [Software Engineering — Software Product Quality Requirements and Evaluation (SQuaRE) — Guide to SQuaRE]: ISO 25000:2005.
22. Informacijni tehnologii' — ocinjuvannja programnogo produktu. Ch. 1: Zagal'nyj ogljad. [Information technology — Software product evaluation — Part 1: General]: ISO/IEC 14598-1:1999.

23. Inzhyniryng programnogo zabezpechennja — Jakist' produktu. [Software Engineering — Product Quality]: ISO/IEC TR 9126-1-4:2001-2004.