Software is every more important in aircraft hardware, and rightly so. It is to a significant degree the software in the cockpit that makes the difference between today's systems and the next-generation aircraft systems. Software really helps the pilot achieve levels of performance she couldn't achieve before.

In 1982, DO-178 was introduced to ensure software correctness. Over the decades since then, the complexity of software has skyrocketed. However, the tools we use to build software have remained largely the same, resulting in severe delays in typical aircraft projects due to software issues. 

And yet, we are just at the edge of the next revolution. In manned aircraft, single display cockpits bring new challenges. New fighter cockpits are all about software, and new commercial cockpits drive safety to new levels using software. In unmanned aircraft, software needs to be more situational aware for efficiency and safety of remote or autonomous flight. More software is a key development driver for the industry, and yet software is already amongst the biggest issues to get new aircraft and aircraft upgrades to the market.

Making software the same way as we have done for the past 3 decades is simply not a safe option for next-generation aircraft. Software development itself has to be improved to make new technology development possible. But compliance to DO-178B/C, has -for good reason- held back new approaches.

Sol, the software language designed for safety-critical applications, changes all that. Sol is designed with one purpose in mind: dramatically simplifying the creation of DO-178C software. And because DO-178 really just tries to enforce good software processes, that means that Sol is about making better software.