1. Science
  2. Publications
  3. Information Processing Systems
  4. 8(98)'2011
  5. On-line verification and correction of space SICS systems software. The purposes, scenarios and models

On-line verification and correction of space SICS systems software. The purposes, scenarios and models

V.S. Kharchenko, M.V. Zamyrets, S.O. Zasukha
Annotations languages:

The formal description of the Space Instrumentation and Control systems (SICS) software (SW) verification purposes is given. The purposes of operative correcting verification (ОCV) of 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.
Keywords: space instrumentation and control system, software, on-line verification, correction of software