|
Topical issue
A comprehensive software verification technology for onboard control systems of spacecraft
V. V. Kul'ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia
Abstract:
This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.
Keywords:
spacecraft, software, onboard control system, comprehensive software verification.
Citation:
V. V. Kul'ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov, “A comprehensive software verification technology for onboard control systems of spacecraft”, Avtomat. i Telemekh., 2023, no. 10, 48–58; Autom. Remote Control, 84:10 (2023), 1177–1185
Linking options:
https://www.mathnet.ru/eng/at16221 https://www.mathnet.ru/eng/at/y2023/i10/p48
|
Statistics & downloads: |
Abstract page: | 35 | References: | 9 | First page: | 4 |
|