THE SPACE INFORMATION AND CONTROL SYSTEM AVAILABILITY ASSESSMENT CONSIDERING ELIMINATION OF SOFTWARE FAULTS AFTER ON-LINE VERIFICATION
The paper deals the multi-fragmental model of the two-channel space on-board information and control system of piloted spaceship. The model describes process of on-line software verification considering subsequent elimination of detected software faults. To take into account the change of software f...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
National Aerospace University «Kharkiv Aviation Institute»
2019-03-01
|
Series: | Радіоелектронні і комп'ютерні системи |
Subjects: | |
Online Access: | http://nti.khai.edu/ojs/index.php/reks/article/view/596 |