Availability assessment of information and control systems with online software update and verification

Loading...
Thumbnail Image
Date
2014
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Verlag
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.
Description
Keywords
Availability information and control systems, Online software verification
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.