Aerospace Instrument-Making Annotation << Back Analytical means of drawing up of the reliability models of the control complex software of aircraft A.V. Vorobjev Modern requirements of substantial increase of automation of flights have caused the big growth of volumes of the software, reaching tens thousand lines, and occurrence of the mistakes resulting in some cases to inadmissible failures. Therefore at traditional ways of a spelling of programs by people the analytical and automated methods of their control over finding of mistakes and entering of corresponding corrections have started to be developed.