SYNTHESIS OF SAFE BEHAVIOR ALGORITHMS OF RADIOELECTRONIC SYSTEMS FOR CRITICAL APPLICATIONS


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 design

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.

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

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

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).

Dubrova E.: Fault-Tolerant Design. Springer, New York 2013. DOI: https://doi.org/10.1007/978-1-4614-2113-9

Hobbs C.: Embedded Software Development for Safety-Critical Systems. Second edition. Routledge, 2019. DOI: https://doi.org/10.1201/9780429323010

Kleinberg, J., Tardos E.: Algorithm design. First edition, Pearson, 2005.

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

Rausand M.: Reliability of Safety-Critical Systems: Theory and Applications. Wiley-Blackwell, 2014. DOI: https://doi.org/10.1002/9781118776353

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

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.

Skiena S.: The Algorithm Design Manual. 2 ed., Springer, 2009. DOI: https://doi.org/10.1007/978-1-84800-070-4

Trukhanov V. M.: Reliability of Technical Systems of Mobile Units Types at the Stage of Prototypes Design and Testing. Mashynostroenie, 2003. (In Russian).

Van Beek T., Tomiyama T.: Requirements for Complex Systems Modeling. Proceedings 18th CIRP Design Conference - Design Synthesis. Enschede, Netherlands, 2008.

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).

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.

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.

Download

Published : 2020-03-30


Ozirkovskyy, L., Volochiy, B., Zmysnyi, M., & Shkiliuk, O. (2020). SYNTHESIS OF SAFE BEHAVIOR ALGORITHMS OF RADIOELECTRONIC SYSTEMS FOR CRITICAL APPLICATIONS. Informatyka, Automatyka, Pomiary W Gospodarce I Ochronie Środowiska, 10(1), 28-31. https://doi.org/10.35784/iapgos.913

Leonid Ozirkovskyy  l.ozirkovsky@gmail.com
Lviv 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