SYNTEZA ALGORYTMÓW BEZPIECZNEGO POSTĘPOWANIA W SYSTEMACH RADIOELEKTRONICZNYCH DO ZASTOSOWAŃ W SYTUACJACH KRYTYCZNYCH

Leonid Ozirkovskyy

l.ozirkovsky@gmail.com
Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraina)
http://orcid.org/0000-0003-0012-2908

Bohdan Volochiy


Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraina)
https://orcid.org/0000-0001-5230-9921

Mykhailo Zmysnyi


Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraina)
https://orcid.org/0000-0002-3384-6139

Oleksandr Shkiliuk


Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement (Ukraina)
https://orcid.org/0000-0001-9237-4808

Abstrakt

Bezpieczeństwo radiowych systemów elektronicznych używanych w sytuacjach krytycznych jest tradycyjnie zapewnione przez wprowadzenie redundancji strukturalnej. W pracy zaproponowano sposób zapewnienia określonego poziomu bezpieczeństwa radiowych systemów elektronicznych poprzez wprowadzenie redundancji czasowej i funkcjonalnej do algorytmu postępowania. Aby zmierzyć wydajność wprowadzonej redundancji, zaproponowano określone cechy bezpieczeństwa. Artykuł przedstawia metodę syntezy algorytmów bezpiecznego postępowania na podstawie minimalizacji wzrostu wartości określonych cech bezpieczeństwa. Opracowana metoda została przetestowana podczas rozwiązywania problemu syntezy algorytmu postępowania dla złożonego systemu radioelektronicznego przeznaczonego do wykrywania celów.


Słowa kluczowe:

bezpieczeństwo, inżynieria bezpieczeństwa, algorytm postępowania, projekt systemu

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


Opublikowane
2020-03-30

Cited By / Share

Ozirkovskyy, L., Volochiy, B., Zmysnyi, M., & Shkiliuk, O. (2020). SYNTEZA ALGORYTMÓW BEZPIECZNEGO POSTĘPOWANIA W SYSTEMACH RADIOELEKTRONICZNYCH DO ZASTOSOWAŃ W SYTUACJACH KRYTYCZNYCH. Informatyka, Automatyka, Pomiary W Gospodarce I Ochronie Środowiska, 10(1), 28–31. https://doi.org/10.35784/iapgos.913

Autorzy

Leonid Ozirkovskyy 
l.ozirkovsky@gmail.com
Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraina
http://orcid.org/0000-0003-0012-2908

Autorzy

Bohdan Volochiy 

Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraina
https://orcid.org/0000-0001-5230-9921

Autorzy

Mykhailo Zmysnyi 

Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraina
https://orcid.org/0000-0002-3384-6139

Autorzy

Oleksandr Shkiliuk 

Lviv Polytechnic National University, Department of Theoretical Radio Engineering and Radio Measurement Ukraina
https://orcid.org/0000-0001-9237-4808

Statystyki

Abstract views: 265
PDF downloads: 9037