In many domains, safety certification is necessary, for example in aerospace, medical technology, and automotive engineering. This process is very time-consuming, since all possible system states and reactions must be mapped and all possible errors must be handled in a controlled manner. Certification often costs much more effort than the actual programming — and it is therefore rarely updated. Open source software in contrast, however, stands for rapid development and fast bug fixing.

embedded brains, with the support of ESA (European Space Agency), has developed a maximally automated qualification process. Based on a complex concatenation of definitions, requirements and individual tests, which communicate by means of a formalized “language”, the qualification can be performed largely automatically. This does not replace formal definitions and test procedures, but it simplifies delta qualifications enormously. This means that adaptations and additions to the source code can be carried out very quickly — and thus cost-effectively.