SYNTHESIS OF SAFE BEHAVIOR ALGORITHMS OF RADIOELECTRONIC SYSTEMS FOR CRITICAL APPLICATIONS

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

Bibliografia

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.

Benoit A., Robert Y., Vivien F.: A Guide to Algorithm Design. Paradigms, Methods, and Complexity Analysis. CRC Press Published, 2013.

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.

Hobbs C.: Embedded Software Development for Safety-Critical Systems. Second edition. Routledge, 2019.

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.

Rausand M.: Reliability of Safety-Critical Systems: Theory and Applications. Wiley-Blackwell, 2014.

Saha S., Sadi M. S.: Synthesizing fault tolerant safety critical systems. Journal of Computers 9(8)/2014, 1809–1816.

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.

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.

SYNTEZA ALGORYTMÓW BEZPIECZNEGO POSTĘPOWANIA W SYSTEMACH RADIOELEKTRONICZNYCH DO ZASTOSOWAŃ W SYTUACJACH KRYTYCZNYCH. (2020). Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska, 10(1), 28-31. https://doi.org/10.35784/iapgos.913

##plugins.themes.bootstrap3.article.sidebar##

Numer Tom 10 Nr 1 (2020)

Archiwum

##plugins.themes.bootstrap3.article.main##

Authors

Abstrakt

Słowa kluczowe:

Bibliografia

##plugins.themes.bootstrap3.article.details##

Licencja