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
Reference:
Zasukha, S.A. and Ponochovnыi, Yu.L. (2011), "Model hotovnosty dvukhkanalnoi ynformatsyonno-upravliaiushchei systemы kosmycheskoho apparata s operatyvnoi veryfykatsyei prohrammnыkh sredstv" , Science and Technology of the Air Force of Ukraine, No. 2(6), pp. 144-149.