ELEMENTS Of METHODOLOGY Of OPERATIVE CORRECTING SOFTWARE VERIFICATION OF SPACECRAFT INSTRUMENTATION&CONTROL SYSTEMS

V.S. Kharchenko, N.V. Zamirets, S.A. Zasukha, Yu.L. Ponochevniy

Software (SW) for the Space Instrumentation and Control systems (SICS) as object of verification, normative base and existed verification methods of SICS SW are analyzed. The concept of оn-line correcting verification (ОCV) which can be performed under different scenarios for functions of different criticality is entered. ОCV is carried on in flight when required trustworthiness of checking cannot be provided on the ground or when checking of functions on the ground is impossible or more expensive at guaranteeing of safety requirements. Stages and operations of SICS SW verification at different stages of lifecycle are discussed. The detailed description of operations for SICS SW development phase is given. The formal description of the Space SICS SW) verification purposes is given. The purposes of operative correcting verification SW in flight are specified, and the theoretical-set description of functions in view of their criticality and ОCV purposes is offered. Scenarios and indicators for an estimation of SICS availability are proposed taking into account ОCV features. The brief description of SICS availability models for different ОCV scenarios is given. Concept of ОCV strategy and features of its formation are defined. The availability model for one of the SICSs with OKV is developed and researched.

 

Keywords: space instrumentation and control system, software, оn-line correcting verification, availability model.