Part 1 - 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
Mukesh Prasad | Principal Application Engineer | MathWorks
Mukesh Prasad is a Principal Application Engineer in MathWorks India and enables engineers & scientists to adopt Model-based Design workflows. He closely works with customers in Aerospace & Defense industry to help them use MATLAB® and Simulink® products for control system design, multi-domain physical modeling, production code generation, test automation and software verification & validation. Mukesh has over 17 years of experience in jet engine control and flight control systems. Prior to joining MathWorks, Mukesh worked as Systems Specialist with Moog India, where he gained hands-on experience in Model-Based Systems Engineering (MBSE) and Test Equipment Design for aircraft applications. He started his career as Scientist at Gas Turbine Research Establishment (GTRE), one of the labs of DRDO, and worked on aircraft engine control design, testing, and certification using model-based design workflows. Mukesh holds a master’s degree in mechatronics engineering from NIT Surathkal while bachelor’s degree in mechanical engineering from NIT Kurukshetra.
Product Focus
This event is part of a series of related topics. View the full list of events in this series.
