1. Science
  2. Publications
  3. Scientific Works of Kharkiv National Air Force University
  4. 1(16)'2008
  5. Descriptor control of critical application software in real time

Descriptor control of critical application software in real time

Yu.S. Manzhos, V.L. Petrik
Annotations languages:

A method, providing control of semantic correctness of software on the stage of the stand working off or in real time, having as compared to the method of semantic control on an order less ресурсоемкость, is offered, considerably more high diagnosing ability and more exact estimation of probability of existence of remaining programmatic defects. Application of method in the real-time systems allows to promote reliability of the sensor-based systems for APP and complexes of aviation-spaces.
Keywords: semantic control, semantic invariants, remaining programmatic defects, descriptor control of the real time