Availability assessment of information and control systems with online software update and verification
Файли
Дата
2014
Автори
Kharchenko, V.
Ponochovnyi, Y. L.
Boyarchuk, A.
Назва журналу
Номер ISSN
Назва тому
Видавець
Springer Verlag
Анотація
The paper is devoted to the analysis of the verification objectives and features for information and control systems (ICS) software at the different stages of life cycle, in particular, on development and operation stages for space ICS software. Theoretic-set description of objectives, verified functions considering their criticality for space systems software and scenarios of online verification are proposed. Availability Markov chains based models are developed for different scenarios of space systems software online verification. Multi-fragment Markov models of ICS software for a serviced spacecraft is researched taking into account updating and removal of detected faults.
Опис
Ключові слова
Availability information and control systems, Online software verification
Бібліографічний опис
Kharchenko, V., Ponochovny, Y., Boyarchuk, A. Availability assessment of information and control systems with online software update and verification (2014) Communications in Computer and Information Science, 469, pp. 300-324.