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.
Verocel is applying streamlining techniques in the qualification of AdaCore’s QGen code generator for a safe subset of the Simulink®/Stateflow® modeling languages. The result of our efforts will be that developers can use those modeling languages to support code generation of their application and greatly reduce the certificaiton effort. QGen is being qualified to RTCA/DO-330, TQL-1.
Tools
Application Life Cycle Management Tool
VeroTrace supports multiple standards including RTCA/DO-330, ad hoc government standards (e.g., MIL-HDBK-516) and ISO 26262 Parts 2, 6 and 8 – Documentation, Configuration Management, Traceability, Change Control, Independence and Change Impact Analysis
Object Coverage Analysis and MCDC Source Coverage tools
RTCA/DO-178C, DAL A MCDC and Executable Object Code, ISO 26262 – Structural Coverage Metrics: Statement, Decision and MCDC coverage