How Elodin is Shaping the Future of Flight Software