TECHNICAL SESSION It is impossible to verify a design by testing every timing corner condition, or to find all unintentional interactions in a network within the timeframe of a typical project. And yet, the DO-178 certification standard demands the highest level of rigor to ensure aircraft safety. Having a tool that can perform complete verification of a complex network system in minutes, and be able to obtain certification credit for that verification, can result in huge savings during development and certification.
DO-178C introduced DO-330, Software Tool Qualification Considerations, as well as Tool Qualification Levels (TQL) 1 through 5. Marty Gasiorowski worked with Mentor Graphics in 2012 to meet the objectives of DO-330 for Volcano AeroQ , a TQL-5 tool. This was one of the first, if not the first, project to use DO-178C and DO-330.
Volcano AeroQ analyzes communication design in different aspects, such as utilization, queue delays, jitter, etc. The output of such analysis can be used to optimize communication to improve overall system performance. The output of the tool is a verification artifact that serves as credit towards certification of the communication design. If verification fails, the generated report clearly describes the errors found and guides the user on how to correct these. This presentation introduces Volcano AeroQ, a qualified communication verification and analysis tool for multi-protocol airborne network systems. It summarizes the processes used in the certification efforts and the key differences compared to DO-178B Verification Tool Qualification.