Sol Platform
Sol Language
Sol Language
High-level requirement writing is not the same as programming: Sol is a high-level requirement specification language.
Sol is a computer language approved by certification authorities to formulate high-level requirements for avionics. It describes input, output, screens, modes and state machines, math and matrix operations with great attention to detail. Using Sol eliminates the need for other languages like C or Ada. Sol compiles everything straight into a binary file and provides the certification evidence.
Sol Software
Sol Software
Sol Operating system
SolOS is a DO-178C DAL A operating system for high-performance, extremely secure and safe execution of the file generated by the Sol language. It is preinstalled on Sol hardware and also runs on PC.
Compiler
SolC is a TQL-1 compiler that transforms requirements written in the Sol language into a binary file for SolOS. It also provides trace matrices, checklists and certification evidence.
IDE
This modern and powerful environment interactively writes, runs, tests, proves, analyses and reviews Sol applications. It includes live debugging on Sol hardware, as well as simulating on PC.
Prover
SolProver is a TQL-1 formal method to prove properties of your software. It provides valuable insights into your requirements and reduces the amount of testing you need to do.
STAR
STAR makes testing easy. Its automated switching to and from maintenance mode, uploading and gathering results allows the test team to focus on the test itself, with simple re-running.
Observatory
SolObservatory simplifies field-loading of software, updates databases, gets diagnostic information and performs other maintenance tasks on Sol hardware and software.

Sol Hardware
Sol Hardware
High performance, low SWaP. Sol's hardware is industry-leading and offers unique features that matter to urban air mobility (UAM).
Fast evolution, long-time support
Sophisticated aircraft need a simplified way to evolve.
Sol.One provides a new certified release of SolOS and its software tools every year. On top of that, Sol.One releases the next generation of its certified Sol hardware every other year.
This fast and relentless evolution is unique in aerospace. Form-fits-function backward compatibility ensures that your application runs on the new platform without recompilation. The result is an amazing upgrade path that perfectly fits the needs of advanced air mobility.
At the same time, Sol.One provides avionics-grade long-time supply and support for any combination of its hardware and software platform. Evolve your aircraft with ease at the time that suits you best.

Get courses on how to use Sol with your team. Download Sol for Windows/Mac/Raspberry for free and start up your own project.