Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах. Здійснено формалізацію критерію достатності процесу тестування програмного забезпечення на основі запропонованої моделі.
Aim. To develop an approach for quantifying the reliability of the wired tripled control channel with common, mixed, and separate cable jackets. Method. Reliability is formalized using block diagrams and dynamic fault trees. Static and dynamic models have been developed to evaluate the reliability indicators of the wired control channel with triple redundancy. The basis for obtaining these models is the state and transitions diagram. Static models are formed using logical-probabilistic expressions.
Aim. An approach for quantifying the reliability of the wired duplicated control channel with common and separate cable jackets is developed. Method. Reliability block diagrams and dynamic fault trees are used to formalize reliability. To describe the specifics of the damage processes to cores and cable jackets, logical conditions are formed in the failure tree. States and transition diagrams of the control channel are formed for carrying out stationary and dynamic analyzes.
Aim. To develop an approach for adequately formalizing and calculating reliability using a dynamic fault tree for a two-component system as an example, taking into account the short-term mode of operation of one of the system component. Method. A k-terminal dynamic fault tree is used to formalize reliability. In this tree, the structure and behavior of the system are separated. On the basis of the tree the diagram of states and transitions of the system is developed.
The reliability model of the system with double hot redundancy and nonideal switching devices is suggested. The model is designed for the reliability characteristics determination. The peculiarity of the model is that it takes into account errors of the first and the second type for switching devices. Dynamic fault tree and Markov model are used for determining probability characteristics.
This paper is devoted to the solving task of property prediction on the basis of analogical inference. The reliability model of safety valves for pressure vessel is proposed. The feature of model is that it is considered load-sharing effect between safety valves. To determine the reliability characteristics dynamic fault tree and Markov model are used.
The reliability model for system with load-sharing redundancy of component between uniform modulus is proposed. The model adequately takes into account load-sharing impact of reserved components on failure cause probability characteristics of such system. For reliability determination a dynamic fault tree and a Markov model is used.