Advanced Code Verification & Compliance | Using Qualified Tools in a DO-178C Development Process
Overview
Ensuring source code compliance and accuracy is critical in DO-178C development, particularly when meeting DO-333 (Formal Methods), and DO-330 (Tool Qualification) objectives. This session focuses on qualified tools for verifying source code conformance to MISRA C:2012, detecting runtime errors, and performing formal verification to ensure robustness, consistency, and traceability.
Polyspace Bug Finder™ helps enforce coding standards and measure software complexity, while Polyspace Code Prover™ uses formal methods to verify runtime behavior, detect critical errors (e.g., memory violations, dead logic, and overflow risks), and prove the absence of certain bugs. These tools integrate seamlessly with Embedded Coder®, providing traceable and certifiable verification workflows.
Additionally, we discuss DO Qualification Kit, which provides necessary artifacts for qualifying automatic code analysis, making it easier to demonstrate compliance in certification audits.
Highlights
- Code Compliance with DO-178C & MISRA C:2012 – Using Polyspace Bug Finder for enforcing mandatory coding rules and measuring complexity.
- Static & Formal Verification with DO-333 – Leveraging Polyspace Code Prover for detecting critical runtime errors and proving bug absence.
- Seamless Integration with Model-Based Design – Ensuring traceability from models (Simulink®) to generated code.
- Automated Tool Qualification with DO-330 – Using DO Qualification Kit for certifying verification tools in regulated environments.
- Best Practices for Certification Audits – How to generate compliance reports for certification authorities efficiently.
About the Presenter
Vaishnavi H.R. | Sr. Application Engineer | MathWorks
Vaishnavi H.R. is a Senior Application Engineer at MathWorks, working in the Controls Automation & Design domain. She works across various Industry segments like Automotive, Aerospace, Semiconductor etc to help customers adopt efficient embedded software verification workflows.
She is passionate about spreading the awareness of Formal Methods-based verification especially for safety-critical embedded programs.
She comes with a background in Verification & Validation with prior experiences at Collins Aerospace, UTC etc. She holds a master’s degree in Power Electronics.
Product Focus
- MATLAB
- Simulink
- Polyspace Bug Finder
- Polyspace Code Prover
Organizer
As an authorised reseller of MathWorks in the Middle East, CES is helping companies unleash the value of digital transformation through advanced technology that harnesses the benefits of artificial intelligence, deep learning, machine learning, predictive maintenance and much more. Our teams can help you exploit the power of MATLAB® & SIMULINK® to quickly put your data to work or improve your workflow.
Math. Graphics. Programming. Whether you are analysing data, developing algorithms or creating models, MATLAB® and SIMULINK® are designed for the way you think and the work you do. At CES, our activities expand to encompass a full range of services offered to a broadly based scientific and engineering community throughout the Middle East. Indeed, the majority of our customers today are located in Bahrain, Iraq, Jordan, Kuwait, Lebanon, Oman, Qatar, Saudi Arabia and the United Arab Emirates and include some of the biggest players in the region and on the planet.