EN | RU    
Scientific & Technical Literature Publishing House
Search:

Home»

Contact Us»

Journals»

News»

Preparation of Papers»

Advertising»

Feedback»

Books»

About Us»



advertisement



Instruments and Systems: Monitoring, Control, and Diagnostics

Annotation
<< Back
To the question of applying the correctness calculation technique for estimating the ultimate reliability of multi-version models of fault-tolerant systems
M.V. SARAMUD, I.V. KOVALEV, V.V. LOSEV, M.O. PETROSYAN, D.I. KOVALEV

The article considers the application of the correctness assessment as a sum of all combinations of the correct operation of components, which with guarantee will lead to a correct response of the system for determination of the ultimate reliability of the developed software systems, in particular, faulttolerant control systems. The methodology allow to choose the most suitable model for increasing reliability with the introduction of program redundancy, determining the minimum requirements for the characteristics of software modules, hardware and the decision block used in the final implementation of the redundant system, depending on the requirements for its reliability level. The concept of the correctness of the software system is introduced. The calculation formulas for the correctness value for all the basic multi-version methodologies are given. The program implementation of the proposed methodology is considered, realizing the possibility of calculating the correctness value for specified characteristics of components for systems and using all relevant methodologies: N-version programming (NVP), N-self checking programming (NSCP), recovery blocks (RB) and t/(n-1) decision algorithm.. The results of modeling in the proposed system are analyzed. Indicative results are obtained, for example, the graphs of the dependencies of the correctness of the system on the reliability of software modules intersect, from which it can be concluded that for different reliability of software components, the optimal choice of the multi-version methodology to be used will change, with the other parameters of the system matching: hardware reliability, number of versions, the probability of occurrence of related faults. A numerical output of correctness allows you to accurately compare the different methodologies, analyze the sensitivity of methodologies to the variation of various input parameters, and study the behavior of the system with different reliability of software module versions.
Keywords: correctness, multi-version programming, software redundancy, reliability, recovery block.


DOI: 10.25791/pribor.03.2019.503

Contacts: E-mail: msaramud@gmail.com

Pp. 19-25.

 Sections

«About journal

«Archive

«Thematic focus of the journal

«Formatting rules

«Stages of the review and publication

«Review process

«Editorial and Professional Ethics

«Detecting plagiarism

«Editors and Editorial Board

«News journal


 Journals
...................................
Instruments and Systems: Monitoring, Control, and Diagnostics
...................................
Instrument-Making and Automation Means. Encyclopedic Textbook
...................................
Industrial Automatic Control Systems and Controllers
...................................
Ecological Systems and Devices
...................................
Aerospace Instrument-Making
...................................
Engineering Physics
...................................
History of Science and Engineering
...................................
Music and Time
...................................
Note Album
...................................
Musicology
...................................
Universal History
...................................
Directory of engineer
...................................
Applied Physics and Mathematics
...................................
News Academy of Engineering Sciences A.M. Prokhorov
...................................

Last news:

Выставки по автоматизации и электронике «ПТА-Урал 2018» и «Электроника-Урал 2018» состоятся в Екатеринбурге

Открыта электронная регистрация на выставку Дефектоскопия / NDT St. Petersburg

Открыта регистрация на 9-ю Международную научно-практическую конференцию «Строительство и ремонт скважин — 2018»

ExpoElectronica и ElectronTechExpo 2018: рост площади экспозиции на 19% и новые формы контент-программы

Тематика и состав экспозиции РЭП на выставке "ChipEXPO - 2018"

   Rambler's Top100 Rambler's Top100         


    Management system developed by: ananskikh.ru
© Publishing House "NAUCHTEKHLITIZDAT", 2005-2024