In this paper the technique of building models of radioelectronic software-hardware system with r... more In this paper the technique of building models of radioelectronic software-hardware system with regard to quality of service information network is presented. Building a model involves the development of structural-automatic model, which is the input data for software module ASNA, in automatic mode generates a graph of states and transitions and creates a system of Chapman-Kolmogorov differential equations for different sets of input data.
Technology for determination minimal cut sets, which are based on Markov model, is presented in t... more Technology for determination minimal cut sets, which are based on Markov model, is presented in the given work. This technology provides possibility for obtaining minimal cuts sets for renewable systems with limited repairs.
Technology for determination minimal cut sets, which are based on Markov model, is presented in t... more Technology for determination minimal cut sets, which are based on Markov model, is presented in the given work. This technology provides possibility for obtaining minimal cuts sets for renewable systems with limited repairs.
In the given work methodology of defining minimal cut sets based on Markov model using enhanced m... more In the given work methodology of defining minimal cut sets based on Markov model using enhanced modeling technology of discreet-continuous stochastic systems is presented.
2018 14th International Conference on Advanced Trends in Radioelecrtronics, Telecommunications and Computer Engineering (TCSET), 2018
This paper presents the model of radio telemetry system with short-term use and the research of i... more This paper presents the model of radio telemetry system with short-term use and the research of its efficiency indexes. The technique based on scheme of paths method and the mission-related software prototype were applied for this task. The software prototype provides real-time solution for multivariate analysis and parametric synthesis of behavior algorithms of radio telemetry system with short-term use. The features those are critical in terms of evaluating efficiency indexes of such systems are highlighted.
This paper presents the technique of constructing models of behavior algorithms of radio electron... more This paper presents the technique of constructing models of behavior algorithms of radio electronic complex system using new scheme of paths method. This technique allows estimation of the efficiency indexes of RECS taking into account behavior algorithm’s features, hardware and software reliability and self-diagnostics procedures.
2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), 2018
The paper presents the approach to automation of the searching the scheme of paths (SoP) as a mod... more The paper presents the approach to automation of the searching the scheme of paths (SoP) as a model for evaluation the efficiency indexes of behavior algorithms of radio electronic complex systems (RECS). Radio electronic complex systems are analyzed as structural-algorithmic systems. The software prototype based on SoP method can be applied for the research of efficiency indexes of such systems. This software prototype provides quick solution for multivariate analysis and parametric synthesis of behavior algorithms of RECSs. Case study of SoP method and software prototype application is discussed.
The article is devoted to the problem of ensuring a given level of functional safety of safety cr... more 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.
This paper presents discrete-continuous stochastic model for solving tasks of multivariate analys... more This paper presents discrete-continuous stochastic model for solving tasks of multivariate analysis of efficiency index and synthesis of functionality indexes of ground surveillance and target acquisition system. Surveillance and target acquisition system consists of passive and active radio electronic subsystems – reconnaissance units. As an efficiency index it is considered the probability of successful execution of task (detection and recognition of an object that is situated on controlled territory) within specified time interval. In the proposed model it is considered such features of the surveillance and target acquisition system as structure of the investigated system, the functionality indexes of its units and functional behavior. For construction of this model the advanced technology for modeling algorithms of information systems behavior was used. This technology represents a researched object by a structural automatic model. Available software tool automates the processes...
Hardware/software systems provide flexible implementation of microprocessors, microcontrollers an... more Hardware/software systems provide flexible implementation of microprocessors, microcontrollers and various peripheral devices and supply the ability to perform almost any functional algorithm that can be simply modified or replaced. For reliability estimation of hardware/software systems we must take into account not only the loss of efficiency, which was caused by the hardware failures, but the abnormal functioning, that was caused by software failures. All these features of hardware/software systems must be considered in their models for reliability indexes estimation. Development of mathematical models of hardware/software system begins with establishing the cause-and-effect relationships of its efficiency violations. Basing on these cause-and-effect relationships the structural-automatic model, which is formalized representation of structure and behavior of hardware/software system, was developed. This structural-automatic model and software module ASNA allows obtaining the anal...
In this paper the technique of building models of radioelectronic software-hardware system with r... more In this paper the technique of building models of radioelectronic software-hardware system with regard to quality of service information network is presented. Building a model involves the development of structural-automatic model, which is the input data for software module ASNA, in automatic mode generates a graph of states and transitions and creates a system of Chapman-Kolmogorov differential equations for different sets of input data.
In this paper method for estimation the efficiency indexes for behavior algorithm of radio electr... more In this paper method for estimation the efficiency indexes for behavior algorithm of radio electronic complex system of air space monitoring is developed. This method takes into account the structure of radio electronic complex system of air space monitoring, technical and tactical characteristics of the reliability of hardware and qualification of the human-operator. Method involves the following stages. Forming of equivalent behavior algorithm is the first stage. Equivalent behavior algorithm is composed of operating and conditional blocks, which reflect the functions of the radio electronic complex system and the actions of human-operator. For equivalent behavior algorithm forming it is required to add two types of operating blocks that will characterize the reliability of hardware and software. Developing structural-automatic model is the second stage. Structural-automatic model is formalized representation of structure and behavior of radio electronic complex system. Developing...
Technology for determination minimal cut sets, which are based on Markov model, is presented in t... more Technology for determination minimal cut sets, which are based on Markov model, is presented in the given work. This technology provides possibility for obtaining minimal cuts sets for renewable systems with limited repairs.
In the given work methodology of defining minimal cut sets based on Markov model using enhanced m... more In the given work methodology of defining minimal cut sets based on Markov model using enhanced modeling technology of discreet-continuous stochastic systems is presented.
Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of ... more Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of radio electronic structural algorithmic system in the initial stages of its designing. Reliability design is the effective management of reliability indexes of system or its components, resulting in improved or maintained within certain limits of the quality and value and behavior of the system thus remains functionally equivalent to the given one. Formalized representation of behavior of structural algorithmic system is its behavior algorithm. This algorithm describes the functional interrelations between the elements of the system and the functional behavior of the system in general. The developed system is required to perform its objective function with specified efficiency indexes. Efficiency indexes of radio electronic structural algorithmic system are combined indexes of quality the functioning of the system, which are the measure of system performance, taking into account the envi...
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2020
The safety of radio electronic systems for critical applications is traditionally ensured by indu... more The safety of radio electronic systems for critical applications is traditionally ensured by inducing structural redundancy. This paper shows a developed technique for ensuring a required level of safety of such systems by inducing time and functional redundancy into its behavior algorithm. The defined safety characteristic is proposed for quantitative efficiency estimation of the induced redundancy. Presented in the article is the synthesis technique of safe behavior algorithms on the basis of safety characteristic minimization of increased values. The developed technique was tested through solving the synthesis problem of the behavior algorithm of the target detection radio electronic complex system.
5th International Workshop on Theory of Reliability and Markov Modeling for Information Technologies in frameworks of the 15th International Conference ICTERI-2019, 2019
This paper presents discrete-continuous stochastic model for solving tasks of multivariate analys... more This paper presents discrete-continuous stochastic model for solving tasks of multivariate analysis of efficiency index and synthesis of functionality indexes of ground surveillance and target acquisition system. Surveillance and target acquisition system consists of passive and active radio electronic subsystems reconnaissance units. As an efficiency index it is considered the probability of successful execution of task (detection and recognition of an object that is situated on controlled territory) within specified time interval. In the proposed model it is considered such features of the surveillance and target acquisition system as structure of the investigated system, the functionality indexes of its units and functional behavior. For construction of this model the advanced technology for modeling algorithms of information systems behavior was used. This technology represents a researched object by a structural automatic model. Available software tool automates the processes of constructing the graph of states and transitions and formation of an analytic model in the form of system of linear Chapman-Kolmogorov differential equations. The acceptable level of particularization of behavior of the surveillance and target acquisition system is determined only by known information about it. This discrete-continuous sto-chastic model enables increasing certainty for development of information-driven system for automation of the process of detection and recognition of objects for reconnaissance.
— The paper presents the approach to automation of the searching the scheme of paths (SoP) as a m... more — The paper presents the approach to automation of the searching the scheme of paths (SoP) as a model for evaluation the efficiency indexes of behavior algorithms of radio electronic complex systems (RECS). Radio electronic complex systems are analyzed as structural-algorithmic systems. The software prototype based on SoP method can be applied for the research of efficiency indexes of such systems. This software prototype provides quick solution for multivariate analysis and parametric synthesis of behavior algorithms of RECSs. Case study of SoP method and software prototype application is discussed.
Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of ... more Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of radio electronic structural algorithmic system in the initial stages of its designing. Reliability design is the effective management of reliability indexes of system or its components, resulting in improved or maintained within certain limits of the quality and value and behavior of the system thus remains functionally equivalent to the given one. Formalized representation of behavior of structural algorithmic system is its behavior algorithm. This algorithm describes the functional interrelations between the elements of the system and the functional behavior of the system in general. The developed system is required to perform its objective function with specified efficiency indexes. Efficiency indexes of radio electronic structural algorithmic system are combined indexes of quality the functioning of the system, which are the measure of system performance, taking into account the envi...
Hardware/software systems provide flexible implementation of microprocessors, microcontrollers an... more Hardware/software systems provide flexible implementation of microprocessors, microcontrollers and various peripheral devices and supply the ability to perform almost any functional algorithm that can be simply modified or replaced. For reliability estimation of hardware/software systems we must take into account not only the loss of efficiency, which was caused by the hardware failures, but the abnormal functioning, that was caused by software failures. All these features of hardware/software systems must be considered in their models for reliability indexes estimation. Development of mathematical models of hardware/software system begins with establishing the cause-and-effect relationships of its efficiency violations. Basing on these cause-and-effect relationships the structural-automatic model, which is formalized representation of structure and behavior of hardware/software system, was developed. This structural-automatic model and software module ASNA allows obtaining the anal...
In this paper the technique of building models of radioelectronic software-hardware system with r... more In this paper the technique of building models of radioelectronic software-hardware system with regard to quality of service information network is presented. Building a model involves the development of structural-automatic model, which is the input data for software module ASNA, in automatic mode generates a graph of states and transitions and creates a system of Chapman-Kolmogorov differential equations for different sets of input data.
Technology for determination minimal cut sets, which are based on Markov model, is presented in t... more Technology for determination minimal cut sets, which are based on Markov model, is presented in the given work. This technology provides possibility for obtaining minimal cuts sets for renewable systems with limited repairs.
Technology for determination minimal cut sets, which are based on Markov model, is presented in t... more Technology for determination minimal cut sets, which are based on Markov model, is presented in the given work. This technology provides possibility for obtaining minimal cuts sets for renewable systems with limited repairs.
In the given work methodology of defining minimal cut sets based on Markov model using enhanced m... more In the given work methodology of defining minimal cut sets based on Markov model using enhanced modeling technology of discreet-continuous stochastic systems is presented.
2018 14th International Conference on Advanced Trends in Radioelecrtronics, Telecommunications and Computer Engineering (TCSET), 2018
This paper presents the model of radio telemetry system with short-term use and the research of i... more This paper presents the model of radio telemetry system with short-term use and the research of its efficiency indexes. The technique based on scheme of paths method and the mission-related software prototype were applied for this task. The software prototype provides real-time solution for multivariate analysis and parametric synthesis of behavior algorithms of radio telemetry system with short-term use. The features those are critical in terms of evaluating efficiency indexes of such systems are highlighted.
This paper presents the technique of constructing models of behavior algorithms of radio electron... more This paper presents the technique of constructing models of behavior algorithms of radio electronic complex system using new scheme of paths method. This technique allows estimation of the efficiency indexes of RECS taking into account behavior algorithm’s features, hardware and software reliability and self-diagnostics procedures.
2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), 2018
The paper presents the approach to automation of the searching the scheme of paths (SoP) as a mod... more The paper presents the approach to automation of the searching the scheme of paths (SoP) as a model for evaluation the efficiency indexes of behavior algorithms of radio electronic complex systems (RECS). Radio electronic complex systems are analyzed as structural-algorithmic systems. The software prototype based on SoP method can be applied for the research of efficiency indexes of such systems. This software prototype provides quick solution for multivariate analysis and parametric synthesis of behavior algorithms of RECSs. Case study of SoP method and software prototype application is discussed.
The article is devoted to the problem of ensuring a given level of functional safety of safety cr... more 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.
This paper presents discrete-continuous stochastic model for solving tasks of multivariate analys... more This paper presents discrete-continuous stochastic model for solving tasks of multivariate analysis of efficiency index and synthesis of functionality indexes of ground surveillance and target acquisition system. Surveillance and target acquisition system consists of passive and active radio electronic subsystems – reconnaissance units. As an efficiency index it is considered the probability of successful execution of task (detection and recognition of an object that is situated on controlled territory) within specified time interval. In the proposed model it is considered such features of the surveillance and target acquisition system as structure of the investigated system, the functionality indexes of its units and functional behavior. For construction of this model the advanced technology for modeling algorithms of information systems behavior was used. This technology represents a researched object by a structural automatic model. Available software tool automates the processes...
Hardware/software systems provide flexible implementation of microprocessors, microcontrollers an... more Hardware/software systems provide flexible implementation of microprocessors, microcontrollers and various peripheral devices and supply the ability to perform almost any functional algorithm that can be simply modified or replaced. For reliability estimation of hardware/software systems we must take into account not only the loss of efficiency, which was caused by the hardware failures, but the abnormal functioning, that was caused by software failures. All these features of hardware/software systems must be considered in their models for reliability indexes estimation. Development of mathematical models of hardware/software system begins with establishing the cause-and-effect relationships of its efficiency violations. Basing on these cause-and-effect relationships the structural-automatic model, which is formalized representation of structure and behavior of hardware/software system, was developed. This structural-automatic model and software module ASNA allows obtaining the anal...
In this paper the technique of building models of radioelectronic software-hardware system with r... more In this paper the technique of building models of radioelectronic software-hardware system with regard to quality of service information network is presented. Building a model involves the development of structural-automatic model, which is the input data for software module ASNA, in automatic mode generates a graph of states and transitions and creates a system of Chapman-Kolmogorov differential equations for different sets of input data.
In this paper method for estimation the efficiency indexes for behavior algorithm of radio electr... more In this paper method for estimation the efficiency indexes for behavior algorithm of radio electronic complex system of air space monitoring is developed. This method takes into account the structure of radio electronic complex system of air space monitoring, technical and tactical characteristics of the reliability of hardware and qualification of the human-operator. Method involves the following stages. Forming of equivalent behavior algorithm is the first stage. Equivalent behavior algorithm is composed of operating and conditional blocks, which reflect the functions of the radio electronic complex system and the actions of human-operator. For equivalent behavior algorithm forming it is required to add two types of operating blocks that will characterize the reliability of hardware and software. Developing structural-automatic model is the second stage. Structural-automatic model is formalized representation of structure and behavior of radio electronic complex system. Developing...
Technology for determination minimal cut sets, which are based on Markov model, is presented in t... more Technology for determination minimal cut sets, which are based on Markov model, is presented in the given work. This technology provides possibility for obtaining minimal cuts sets for renewable systems with limited repairs.
In the given work methodology of defining minimal cut sets based on Markov model using enhanced m... more In the given work methodology of defining minimal cut sets based on Markov model using enhanced modeling technology of discreet-continuous stochastic systems is presented.
Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of ... more Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of radio electronic structural algorithmic system in the initial stages of its designing. Reliability design is the effective management of reliability indexes of system or its components, resulting in improved or maintained within certain limits of the quality and value and behavior of the system thus remains functionally equivalent to the given one. Formalized representation of behavior of structural algorithmic system is its behavior algorithm. This algorithm describes the functional interrelations between the elements of the system and the functional behavior of the system in general. The developed system is required to perform its objective function with specified efficiency indexes. Efficiency indexes of radio electronic structural algorithmic system are combined indexes of quality the functioning of the system, which are the measure of system performance, taking into account the envi...
Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 2020
The safety of radio electronic systems for critical applications is traditionally ensured by indu... more The safety of radio electronic systems for critical applications is traditionally ensured by inducing structural redundancy. This paper shows a developed technique for ensuring a required level of safety of such systems by inducing time and functional redundancy into its behavior algorithm. The defined safety characteristic is proposed for quantitative efficiency estimation of the induced redundancy. Presented in the article is the synthesis technique of safe behavior algorithms on the basis of safety characteristic minimization of increased values. The developed technique was tested through solving the synthesis problem of the behavior algorithm of the target detection radio electronic complex system.
5th International Workshop on Theory of Reliability and Markov Modeling for Information Technologies in frameworks of the 15th International Conference ICTERI-2019, 2019
This paper presents discrete-continuous stochastic model for solving tasks of multivariate analys... more This paper presents discrete-continuous stochastic model for solving tasks of multivariate analysis of efficiency index and synthesis of functionality indexes of ground surveillance and target acquisition system. Surveillance and target acquisition system consists of passive and active radio electronic subsystems reconnaissance units. As an efficiency index it is considered the probability of successful execution of task (detection and recognition of an object that is situated on controlled territory) within specified time interval. In the proposed model it is considered such features of the surveillance and target acquisition system as structure of the investigated system, the functionality indexes of its units and functional behavior. For construction of this model the advanced technology for modeling algorithms of information systems behavior was used. This technology represents a researched object by a structural automatic model. Available software tool automates the processes of constructing the graph of states and transitions and formation of an analytic model in the form of system of linear Chapman-Kolmogorov differential equations. The acceptable level of particularization of behavior of the surveillance and target acquisition system is determined only by known information about it. This discrete-continuous sto-chastic model enables increasing certainty for development of information-driven system for automation of the process of detection and recognition of objects for reconnaissance.
— The paper presents the approach to automation of the searching the scheme of paths (SoP) as a m... more — The paper presents the approach to automation of the searching the scheme of paths (SoP) as a model for evaluation the efficiency indexes of behavior algorithms of radio electronic complex systems (RECS). Radio electronic complex systems are analyzed as structural-algorithmic systems. The software prototype based on SoP method can be applied for the research of efficiency indexes of such systems. This software prototype provides quick solution for multivariate analysis and parametric synthesis of behavior algorithms of RECSs. Case study of SoP method and software prototype application is discussed.
Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of ... more Reliability designing of behavior algorithm is major mean for ensuring the efficiency indexes of radio electronic structural algorithmic system in the initial stages of its designing. Reliability design is the effective management of reliability indexes of system or its components, resulting in improved or maintained within certain limits of the quality and value and behavior of the system thus remains functionally equivalent to the given one. Formalized representation of behavior of structural algorithmic system is its behavior algorithm. This algorithm describes the functional interrelations between the elements of the system and the functional behavior of the system in general. The developed system is required to perform its objective function with specified efficiency indexes. Efficiency indexes of radio electronic structural algorithmic system are combined indexes of quality the functioning of the system, which are the measure of system performance, taking into account the envi...
Hardware/software systems provide flexible implementation of microprocessors, microcontrollers an... more Hardware/software systems provide flexible implementation of microprocessors, microcontrollers and various peripheral devices and supply the ability to perform almost any functional algorithm that can be simply modified or replaced. For reliability estimation of hardware/software systems we must take into account not only the loss of efficiency, which was caused by the hardware failures, but the abnormal functioning, that was caused by software failures. All these features of hardware/software systems must be considered in their models for reliability indexes estimation. Development of mathematical models of hardware/software system begins with establishing the cause-and-effect relationships of its efficiency violations. Basing on these cause-and-effect relationships the structural-automatic model, which is formalized representation of structure and behavior of hardware/software system, was developed. This structural-automatic model and software module ASNA allows obtaining the anal...
Uploads