Software protection of the maglev transport control system

Background: The article examines the issues of regulation and the development of methodological approaches to ensuring the security of the software system for the management of magnetic-leaving transport at all stages of the life cycle, as well as the development of a tool to detect high-level (logical) software vulnerabilities. Aim: Development of a methodology for the creation of an error-free and impact-resistant software for the management system of magnetic-levitational transport. Methods: In the development of the methodology, the existing practices of searching for errors and vulnerabilities in software and approaches to the algorithmization of program code were studied. Results: During the study, a methodology was developed for creating an error-free and impact-resistant software for the management system of magnetic-levitational transport, which makes it possible to exclude the possibility of errors in the software, which significantly increases the safety of the overall transportation process. Conclusion: The application of the developed technique will improve the security of software for magnetic levitation transport control system from destructive external influences