Российские ученые создали алгоритм, повышающий надежность бортовых систем самолетов. Саму же разработку можно применять при создании и сертификации программного обеспечения для авиационных и других критически важных систем, где необходимы высокая надежность и предсказуемость работы. Авторы решили проблему преобразования программного кода для повышения производительности ИТ-системы...