Sol -- Safety of Life scripting
On personal computers and servers, software is often scripted. Because it is faster to develop, easier to maintain, more powerful to write complicated algorithms in. Wouldn't it be great if we could do that for DO-178C level A certifiable avionics software? Wouldn't it be great is we could create a scripting language that is so secure that it automatically proves correctness, and complies with DO-178C's objectives out-of-the-box to a large degree? Why spend time, effort and money on complying and proving correctness when a computer could do that work for you?
That is the design objective for Sol. Sol is a scripting language that is designed from the ground up for DO-178C avionics applications, focussing on ease-of-use, but also on certification automation. (UN)MANNED started from the 71 objectives that DO-178C, and aims to provide the maximum allowed automation for these objectives.
The resulting scripting language Sol allows to easily and efficiently model the system specifications. Using a DO-178C qualified compiler, the Sol script is converted into executable code.
Amazing Certification and Verification
Because we started from DO-178C, our Sol compiler is beyond anything else on the market when it comes to taking away the hard certification work. You do not have any review activities on the generated code. Better yet, we also ensure that you do not need to worry about the compiler compliance for level A code, and we also ensure target platform compatibility. No other avionics software development product can make the same claims.
But we don't stop there. During the design phase, our compiler already provides you with integrated model checking and worst-case execution time, as well as other analytic information. This allows you to measure your software safety parameters right from the model of the system requirements.
During verification, we provide script coverage information. We also provide a certified on-target simulation environment that allows you to test your script. Testing for cases that would otherwise be extremely hard to do (e.g. hardware failure), is straightforward using the Sol platform.
As a scripting language, Sol is designed to design avionics applications.
Sol provides ARINC 661 (Cockpit Display System) compliant symbology right in the script. You can just draw to the screen, with a toolbox that contains any symbol in the Cockpit Display System standard. We have added many other symbols that are useful in real-life cockpit design. Learn more about our building screens using Sol.
Sol also includes other extremely advanced features, such as a level A file system, a level A database system, level A UDP, TFTP, TCP and FTP.
Off course, Sol also natively supports all common avionics busses such as ARINC 429, MIL-STD 1553, RS-422, discrete, Ethernet, and more.
Out of the box, Sol even provides real-time cross-device synchronization features, designed specifically to create redundant hardware level A avionics solutions.
Dramatic Project Cost Reductions
When using Sol in real-life projects, enormous cost reductions are reported:
- First day working prototypes;
- End-to-end project effort to manual development reduced by 90%;
- Software certification cost reduced by 75%;
- Testing cost reduced by 90%;
- Change request handling with full documentation update and re-certification in just a couple hours, for changes that have functional en visual impact.
In addition, Sol is safer than any alternative as it provides automated model-level testing, automated coverage analysis, automated platform compliance checking, automated worst-case execution checking, and the complete elimination of coding errors.
The Sol platform can be run on popular platforms such as VxWorks 653, but can also be ported to your favorite operating system. It also runs on iPad, which is great for early prototyping.
How To Get Started
Contact us for information on how to get Sol.