Model implementation of the simulation environment of voting algorithms, as a dynamic system for increasing the reliability of the control complex of autonomous unmanned objects

Ковалев, И В; Лосев, В. В.; Сарамуд, М В; Petrosyan, M O

doi:10.1051/matecconf/201713204011

Cited by 15 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Methods and approaches for solving scientific problems: software fault tolerance (Kovalev et al, 2017), digital electronic circuit design methodology (Testoedov et al, 2018), and probability theory will be applied.…”

Section: Resultsmentioning

confidence: 99%

Adaptive Computing Technologies for Diagnostics and Control of UAVs With Fault-Tolerant On-Board Software

Kovalev¹

2023

European Proceedings of Computers and Technology

View full text Add to dashboard Cite

The article deals with the issue of studying the principles and developing approaches to improving the fault tolerance of UAVs onboard software. The questions of analysis and study of the resource intensity of control and diagnostic algorithms, and the technology of balancing computational tasks using the methodology of distributed computing are formed. The use of hybrid modeling methods is appropriate in solving the problem, since in the work under the control of the UAV we will understand the purposeful impact on the functional processes that describe the implementation of the flight plan, route, selection and the mission as a whole. In this case, the established resource and time constraints must be taken into account. The scientific problem that the project is intended to solve is the creation of new adaptive distributed technologies for diagnosing and managing fault-tolerant on-board software for UAVs based on hybrid modeling methods. In the article, a methodology for modifying the algorithms for monitoring and diagnosing on-board software is formed, which is consistent with the multi-criteria characteristic of possible typical scenarios of UAV behavior.

show abstract

Section: Resultsmentioning

confidence: 99%

Adaptive Computing Technologies for Diagnostics and Control of UAVs With Fault-Tolerant On-Board Software

Kovalev¹

2023

European Proceedings of Computers and Technology

View full text Add to dashboard Cite

show abstract

“…Why do we need to know the architecture of the designed software? It affects the calculation of the most important parameter -reliability, or rather, estimates of the probability of failure-free operation for a given period of time [6]. This is a probabilistic characteristic taking values from 0 to 1, where 0 is an absolutely unreliable system, and 1 is an absolutely reliable one.…”

Section: Architecture Of the Designed Softwarementioning

confidence: 99%

Multiple Start Modifications of Ant Colony Algorithm for Multiversion Software Design

Сарамуд

Ковалев

Лосев

et al. 2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The paper discusses the use of an optimization algorithm based on the behaviour of the ant colony to solve the problem of forming the composition of a multiversion fault-tolerant software package. A model for constructing a graph for the implementation of the ant algorithm for the selected task is proposed. The modifications of the basic algorithm for both the ascending and the descending design styles of software systems are given. When optimizing for downstream design, cost, reliability, and evaluation of the successful implementation of each version with the specified characteristics are taken into account. When optimizing for upstream design, reliability and resource intensity indicators are taken into account, as there is a selection from already implemented software modules. A method is proposed for increasing the efficiency of the ant algorithm, which consists in launching a group of "test" ants, choosing the best solution from this group and further calculating on the basis of it. A software system that implements both modifications of the basic ant algorithm for both design styles, as well as the possibility of applying the proposed multiple start technique to both modifications, is considered. The results of calculations obtained using the proposed software tool are considered. The results confirm the applicability of ant algorithms to the problem of forming a multiversion software package, and show the effectiveness of the proposed method.

show abstract

“…Графоаналитические методы моделирования на основе GERT-сетей активно применяются во многих отраслях деятельности [1][2][3][4][5]. GERT-сети являются основой метода графической оценки и анализа [6][7][8], базирующегося на основных понятиях из теории графов и сетей [9][10][11]. В литературе по теории графов, в которой терминология достаточно стандартизована, есть разные определения концепции сетей.…”

Section: Introductionunclassified

Formalization of conditions for the feasibility and admissibility of subnets in GERT network models

Podoplelova

2024

Iii All-Russian Scientific Conference With International Participation “Achievements of Science and Technology, Cultural Init

View full text Add to dashboard Cite

The article, within the framework of the K. Neuman notation, proposes a formalization of the conditions for the feasibility and admissibility of subnets in GERT network models. A number of conditions have been formulated that the subnetwork must meet. Taking into account the entered conditions and rules, using GERT-like nodal logic, the executability of the subnet is ensured, for which, if necessary, additional “fictitious” activity is introduced on the arc (using auxiliary nodes). The proposed approach makes it possible to perform graphic-analytical modeling of modern information, technological, transport and production systems, the processes in which are characterized by nesting of cycles at many structural levels.

show abstract

Model implementation of the simulation environment of voting algorithms, as a dynamic system for increasing the reliability of the control complex of autonomous unmanned objects

Cited by 15 publications

References 12 publications

Adaptive Computing Technologies for Diagnostics and Control of UAVs With Fault-Tolerant On-Board Software

Adaptive Computing Technologies for Diagnostics and Control of UAVs With Fault-Tolerant On-Board Software

Multiple Start Modifications of Ant Colony Algorithm for Multiversion Software Design

Formalization of conditions for the feasibility and admissibility of subnets in GERT network models

Contact Info

Product

Resources

About