Scientists at Lomonosov Moscow State University have developed an algorithm capable of improving the accuracy, stability, and predictability of aircraft onboard systems. The new technology is designed for creating and verifying software for aviation and other critically important equipment.
The development was presented by specialists from the Faculty of Computational Mathematics and Cybernetics at MSU. The scientists proposed a method for using secure compilation technologies for embedded systems, where even small changes in the program code can affect equipment reliability.
The main feature of the solution is that the algorithm allows for security requirements to be taken into account during program optimization. Modern compilers can significantly speed up code execution, but such transformations sometimes complicate program verification and can affect the predictability of their execution.
The researchers adapted data processing optimization methods for real-time systems. This is especially important for aviation equipment, where onboard systems must execute commands with high accuracy and without delays.
MSU noted that the new technology can be used in the development and certification of software for aircraft, as well as other systems with increased safety requirements.
The development will simplify the creation of reliable software for equipment where the failure of software components can lead to serious consequences, and will become one of the tools for improving the quality of new generation digital systems.