SYNTHESIS OF SAFE BEHAVIOR ALGORITHMS OF RADIOELECTRONIC SYSTEMS FOR CRITICAL APPLICATIONS
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.
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.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.