Software to aerospace standards

We can run airborne software the way aviation certification demands: DO-178C (and its Russian counterpart KT-178C), target level A. Traceability from high-level requirements through design documentation and low-level requirements down to code and channel configuration; the matrix is rebuilt on every change, otherwise it lies. Code audit for prohibited constructs tied to the standard’s clauses, MC/DC coverage, Ada metrics, vocabulary checks for regulator documents, mapping of norms across related standards. Our analysis tools are qualified as TQL-5: their output is an upper bound on problems, not certification credit — every finding is signed off by a verification engineer. We are working in an active certification project for an airborne computer, preparing packages for the regulator and replies to its findings.

Write to us Describe the task in two lines — we reply to the point.