Achieving Tool Qualification in DO-178C Certification Process using Model-Based Design

Overview

In this session, you will learn how to approach tool qualification while developing and verifying applications using Model-Based Design.

DO Qualification Kit provides tool qualification plans, tool operational requirements documents, test cases and procedures, as well as references for soundness of formal methods techniques in the DO-178C certification.

Tools used in Model-Based Design and formal methods analysis require qualification under DO-330 Software Tool Qualification Considerations.

Since DO-330 does require the user to verify the tool in its installed environment, the test procedures are automated to allow the user to easily execute the tests and verify the expected results are correct.

Highlights

• DO qualification kit
• Tool qualification
• Artifacts or Report generation

About the Presenters

Prashant Mathapati, MathWorks

Prashant Mathapati is an application engineer at MathWorks India specialising in signal processing and embedded code analysis and verification. He has 15 plus years of experience in the role. Prior to joining MathWorks, Prashant worked for Trident Infosol and Programming Research as a senior field AE handling products in the signal processing and verification tools domains. He holds a bachelor’s degree in electrical and electronics engineering from Visvesvaraya Technological University (VTU), Karnataka.

Satish Thokala, Industry Marketing Manager, MathWorks

Satish Thokala is Aerospace and Defense Industry manager at MathWorks. He has ~19 years of experience in teaching, public and private aerospace establishments including Hindustan Aeronautics Limited and Rockwell Collins. In his current role, he is responsible to analyze technology adoption in the Aerodef industry, and develop strategies to increase the adoption of Model-Based Design with MATLAB^® and Simulink^®. His area of expertise is Avionics systems for both military and civil aircrafts. Early in his career, Satish contributed to the design and development of communication radios and field trials of the same for Jaguar and MIG fighters. He led large engineering groups developing software for cockpit displays, engine control and participated in the DO-178 certification audits.