Ensuring Compliance with DO-178C and DO-254 Using Model-Based Design
Overview
Achieving compliance with DO-178C (Software Certification), DO-331 (Model-Based Development), DO-333 (Formal Methods), DO-330 (Tool Qualification), ARP4754A (Systems Engineering), and DO-254 (Hardware Certification)requires a structured approach to software development, verification, and certification. This webinar explores how Model-Based Design (MBD) and formal methods streamline compliance with these standards while improving traceability, automation, and verification.
Join us to learn best practices for integrating model-based workflows, formal analysis, and automated testing to meet FAA, EASA, and other global regulatory requirements for safety-critical systems.
This session is essential for engineers, developers, and certification professionals looking to enhance compliance, reduce certification effort, and improve software reliability.
Highlights
- DO-178C, DO-331, DO-333, and DO-330 compliance strategies
- Considerations for ARP4754A (system certification) and DO-254 (hardware compliance)
- Best practices for model-based development, formal verification, and tool qualification
- Tool qualification for FAA, EASA, and other certification authorities
About the Presenter
Gaurav Dubey | Consulting Application Engineer | MathWorks
Gaurav Dubey is a Consulting Application Engineer in MathWorks and specializes in the fields of Model-Based Design and System Engineering workflows, Implementation, verification and validation, and certifications for safety-critical applications. Gaurav works closely with engineers across industries to help them in adoption of Model-Based Design, and Model-Based System Engineering workflows.
Gaurav brings more than 19 years of experience in embedded system development for automotive and aerospace applications. Gaurav holds a master’s degree in instrumentation engineering and a master’s degree in electronics and communications.
Product Focus
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.