SYNTHESIS OF SAFE BEHAVIOR ALGORITHMS OF RADIOELECTRONIC SYSTEMS FOR CRITICAL APPLICATIONS
Leonid Ozirkovskyy
l.ozirkovsky@gmail.comLviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraine)
http://orcid.org/0000-0003-0012-2908
Bohdan Volochiy
Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraine)
https://orcid.org/0000-0001-5230-9921
Mykhailo Zmysnyi
Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraine)
https://orcid.org/0000-0002-3384-6139
Oleksandr Shkiliuk
Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraine)
https://orcid.org/0000-0001-9237-4808
Abstract
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.
Keywords:
safety, safety engineering, behavior algorithm, system designReferences
Alexander R., Alexander-Bown R., Kelly T.: Engineering Safety-Critical Complex Systems. Proceedings CoSMoS 2008: Workshop on Complex Systems Modelling and Simulation. Luniver Press, 2008, 33–62.
Google Scholar
Ayoob M.; Adi W.: Fault Detection and Correction in Processing AES Encryption Algorithm. Proceedings Sixth International Conference on Emerging Security Technologies (EST), Braunschweig, Germany, 2015, 7–12.
DOI: https://doi.org/10.1109/EST.2015.13
Google Scholar
Benoit A., Robert Y., Vivien F.: A Guide to Algorithm Design. Paradigms, Methods, and Complexity Analysis. CRC Press Published, 2013.
DOI: https://doi.org/10.1201/9780429428890
Google Scholar
Bobalo Yu., Volochіy B., Lozinsky O., Mandziy B., Ozirkovsky L., Fedasyuk D., Scherbovskikh S., Yakovina V.: Mathematical Models and Methods for Reliability Analysis of Radio. Electronic and Software Systems. Lviv Polytechnic National University, 2013. (in Ukrainian).
Google Scholar
Dubrova E.: Fault-Tolerant Design. Springer, New York 2013.
DOI: https://doi.org/10.1007/978-1-4614-2113-9
Google Scholar
Hobbs C.: Embedded Software Development for Safety-Critical Systems. Second edition. Routledge, 2019.
DOI: https://doi.org/10.1201/9780429323010
Google Scholar
Kleinberg, J., Tardos E.: Algorithm design. First edition, Pearson, 2005.
Google Scholar
Pietrantuono R., Russo S.: Introduction to Safety Critical Systems. Innovative Technologies for Dependable OTS-Based Critical Systems. Challenges and Achievements of the CRITICAL STEP Project, Springer, 2013.
DOI: https://doi.org/10.1007/978-88-470-2772-5_2
Google Scholar
Rausand M.: Reliability of Safety-Critical Systems: Theory and Applications. Wiley-Blackwell, 2014.
DOI: https://doi.org/10.1002/9781118776353
Google Scholar
Saha S., Sadi M. S.: Synthesizing fault tolerant safety critical systems. Journal of Computers 9(8)/2014, 1809–1816.
DOI: https://doi.org/10.4304/jcp.9.8.1809-01816
Google Scholar
Shafei E., Moawad I., Sallam H., Mostafa A.: A Methodology for Safety Critical Software Systems Planning. Proceedings 7th WSEAS European Computing Conference (ECC '13), Dubrovnik, Croatia, 2013.
Google Scholar
Skiena S.: The Algorithm Design Manual. 2 ed., Springer, 2009.
DOI: https://doi.org/10.1007/978-1-84800-070-4
Google Scholar
Trukhanov V. M.: Reliability of Technical Systems of Mobile Units Types at the Stage of Prototypes Design and Testing. Mashynostroenie, 2003. (In Russian).
Google Scholar
Van Beek T., Tomiyama T.: Requirements for Complex Systems Modeling. Proceedings 18th CIRP Design Conference - Design Synthesis. Enschede, Netherlands, 2008.
Google Scholar
Viktorov D.: Algorithm Providing Fault Tolerance of Onboard Computing Systems with Structural and Time Redundancy. Information and Control Systems 6(2011), 30–35. (in Russian).
Google Scholar
Volochiy B., Ozirkovskyi L., Shkiliuk O. Mashchak A.: Technique of Construction Models of Behavior Algorithms of Radio Electronic Complex System using the Scheme of Paths Method. International Journal of Computing 13(3)/2014, 183–190.
Google Scholar
Volochiy B., Mandziy B., Ozirkovskyi L.: Extending the features of software for reliability analysis of fault-tolerant systems. Computational Problems of Electrical Engineering 2(2)/2012, 113–121.
Google Scholar
Authors
Leonid Ozirkovskyyl.ozirkovsky@gmail.com
Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraine
http://orcid.org/0000-0003-0012-2908
Authors
Bohdan VolochiyLviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraine
https://orcid.org/0000-0001-5230-9921
Authors
Mykhailo ZmysnyiLviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraine
https://orcid.org/0000-0002-3384-6139
Authors
Oleksandr ShkiliukLviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraine
https://orcid.org/0000-0001-9237-4808
Statistics
Abstract views: 288PDF downloads: 9050
License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Most read articles by the same author(s)
- Bohdan Volochiy, Mykhailo Zmysnyi, Leonid Ozirkovskyy, Volodymyr Onyshchenko, Yuriy Salnyk, IMPROVEMENT OF FIDELITY OF MOVING OBJECTS CLASSIFICATION IN GUARD SIGNALING COMPLEXES WITH SEISMIC SENSORS , Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska: Vol. 8 No. 4 (2018)
