1. Science
  2. Publications
  3. Science and Technology of the Air Force of Ukraine
  4. 2(6)'2011
  5. Dependability model of the space vehicle two-channel informational-operating system with operative software verification

Dependability model of the space vehicle two-channel informational-operating system with operative software verification

S.A. Zasuha, Y.L. Ponochovnyi
Annotations languages:

In article it is observed multifragments model of the served space vehicle informational-management system. At model construction, also elimination of the revealed software defects are considered conducting of operative verification software separate functions while in service. By results of modeling leading-outs are drawn on ways of definition of optimum time parameters of verification conducting.
Keywords: multifragments design, operative correcting верификация, modification of programmatic facilities