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

Simple item page
dc.contributor.authorKharchenko, V.
dc.contributor.authorPonochovnyi, Y. L.
dc.contributor.authorBoyarchuk, A.
dc.date.accessioned2019-02-12T09:43:42Z
dc.date.available2019-02-12T09:43:42Z
dc.date.issued2014
dc.description.abstractThe 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.uk_UA
dc.identifier.citationKharchenko, 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.uk_UA
dc.identifier.doi10.1007/978-3-319-13206-8_15
dc.identifier.otherhttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84914147968&doi=10.1007%2f978-3-319-13206-8_15&partnerID=40&md5=f262b5ecb24c2d6d2d9ad8a54e8d3803
dc.identifier.urihttps://dspace.pdau.edu.ua/handle/123456789/2070
dc.language.isoenuk_UA
dc.publisherSpringer Verlaguk_UA
dc.relation.ispartofseriesCommunications in Computer and Information Science;469
dc.subjectAvailability information and control systemsuk_UA
dc.subjectOnline software verificationuk_UA
dc.titleAvailability assessment of information and control systems with online software update and verificationuk_UA
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
13.pdf
Size:
583.5 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Міжнародні видання