ELEMENTS
Of METHODOLOGY Of OPERATIVE CORRECTING SOFTWARE
VERIFICATION OF SPACECRAFT INSTRUMENTATION&CONTROL SYSTEMS
V.S. Kharchenko, N.V.
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.