Científicos de la Universidad Estatal de Moscú M.V. Lomonosov han desarrollado un algoritmo capaz de aumentar la precisión, estabilidad y predictibilidad de los sistemas a bordo de las aeronaves. La nueva tecnología está diseñada para crear y verificar el software de aviación y otros equipos críticos.
El desarrollo fue presentado por especialistas de la Facultad de Matemáticas Computacionales y Cibernética de la Universidad Estatal de Moscú. Los científicos propusieron un método para utilizar tecnologías de compilación segura para sistemas embebidos, donde incluso pequeños cambios en el código del programa pueden afectar la fiabilidad del equipo.
La característica principal de la solución es que el algoritmo permite tener en cuenta los requisitos de seguridad durante la optimización del programa. Los compiladores modernos pueden acelerar significativamente el código, pero tales transformaciones a veces complican la verificación del programa y pueden afectar la predictibilidad de su ejecución.
Los investigadores adaptaron los métodos de optimización del procesamiento de datos para sistemas que operan en tiempo real. Esto es especialmente importante para la tecnología de aviación, donde los complejos a bordo deben ejecutar comandos con alta precisión y sin demoras.
La Universidad Estatal de Moscú señaló que la nueva tecnología se puede utilizar en el desarrollo y certificación de software para aeronaves, así como para otros sistemas con mayores requisitos de seguridad.
El desarrollo simplificará la creación de software fiable para equipos donde el fallo de los componentes del programa puede tener graves consecuencias, y se convertirá en una de las herramientas para mejorar la calidad de los sistemas digitales de nueva generación.
Leer más sobre este tema:
- El telescopio de la MSU con lentes de solo 25 cm ahora detecta las partículas más raras del universo
- La tarea más compleja en la gestión de UAV se resolvió en la Universidad Estatal Marítima Nevelskoy: enseñaron a los drones a aterrizar en un barco en movimiento
- Ingenieros de TsAGI desarrollan un avión triplano con un esquema aerodinámico cerrado