Increacement of Functional Safety of The Behavior Algorithms Of Radio Electronic Safety-Critical Systems

The article is devoted to the problem of ensuring a given level of functional safety of safety critical radio electronic systems at the stage of their system engineering. A special feature of these systems is that their functional safety depends on the reliability of the hardware or software and the efficiency of their behavior algorithms. It should be noted that there are no models, methods and techniques which allow evaluating the level of the safety with a complex consideration of the above mentioned features.The article presents a new characteristic of the safety of behavior algorithms - the frequency of fall into the emergency state and presents new method of synthesis of the safe behavior algorithms for critical application systems. This method allows including a reasonable number of time and functional redundancy into the behavior algorithm to provide the required level of functional safety.