Autonomy

Verocel’s software and hardware certification practices conform to the state-of-the-art regardless of the standards applied. We are applying new techniques in the area of Streamlining Certification that offer advantages when dealing with less-than-fully-deterministic applications. These techniques are being used in certification of autonomous systems and the areas of modelling and code generation.

 

Tools

Application Life Cycle Management Tool

VeroTrace supports multiple standards including RTCA/DO-178B, RTCA/DO-330 and ad hoc government standards such as MIL-HDBK-516. VeroTrace provides Configuration Management, Traceability, Change Control, Independence and Change Impact Analysis among other important features.

Object Coverage Analysis and MCDC Source Coverage tools

RTCA/DO-178C, DAL A MCDC and Executable Object Code – Structural Coverage Metrics: Statement, Decision and MCDC coverage