Text this: THE SPACE INFORMATION AND CONTROL SYSTEM AVAILABILITY ASSESSMENT CONSIDERING ELIMINATION OF SOFTWARE FAULTS AFTER ON-LINE VERIFICATION