Zasukha S. Models and information technology of availability providing of the space vehicles information-managers systems are with operative verification and updating software

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0413U003958

Applicant for

Specialization

  • 05.13.06 - Інформаційні технології

06-06-2013

Specialized Academic Board

Д64.062.01

Essay

Оbject of research is the creation and operation processes for space computer-based I&C system (SICS) with on-line software (SW) verification (OSV) and rejuvenation (OSR); the goal is increasing of SICS availability; mathematic techniques are theories of sets, probability and Monte-Carlo simulation, methods of system and Markov's chain-based analysis; scientific novelty is the following: the mathematic models of SICS OSV scenarios were developed, the models of SICS availability with OSV and OSR were improved, the method of choice of OSV and OSR modes for SICS was proposed; research outcomes (models, method, IT) allowed to increase availability and accuracy of availability evaluation for SICS with OSV and OSR; branch of research is space computer-based I&C systems.

Files

Similar theses