Autonomous air and road vehicles are an integrated platform of sensors and decision-making software. Autonomous air vehicles often include a remote command and control infrastructure whereas road vehicles do not. Road vehicles can possess differing degrees of autonomy ranging from driver assist features to complete vehicle control and decision making. Regulatory compliance for road vehicles often follows the guidance in ISO 26262. Regulatory guidance for autonomous air vehicles is still evolving and depending on the degree of real-time decision making will likely involve a holistic approach to approval rather than compliance with a published standard.

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.


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

If you’d like to discuss your project needs or would like more information please get in touch