Please use this identifier to cite or link to this item: http://dspace.pdaa.edu.ua:8080/handle/123456789/2070
Title: Availability assessment of information and control systems with online software update and verification
Authors: Kharchenko, V.
Ponochovny, Y.
Boyarchuk, A.
Keywords: Availability information and control systems
Online software verification
Issue Date: 2014
Publisher: Springer Verlag
Citation: 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.
Series/Report no.: Communications in Computer and Information Science;469
Abstract: 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.
URI: http://dspace.pdaa.edu.ua:8080/handle/123456789/2070
Appears in Collections:Міжнародні видання

Files in This Item:
File Description SizeFormat 
13.pdf583.5 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.