Skip to Main Content

How to Implement DO-178C using Model-Based Design and Verification

Learn how to implement DO-178C in safety-critical software for aviation. Discover model-based design, verification tools, and compliance strategies in our informative webinar.

DATE/TIME:
October 8, 2025
10 AM EDT

Venue:
Virtual

Sign Up

이 사이트는 reCAPTCHA에 의해 보호되며, 구글 개인정보 보호 정책서비스 약관이 적용됩니다.

Overview

The DO-178C/ED-12C standard, Software Considerations in Airborne Systems and Equipment Certification, serves as the reference standard for developing safety-critical software used in commercial aircraft. Aviation certification authorities, such as the Federal Aviation Administration (FAA), the European Union Aviation Safety Agency (EASA), Transport Canada, and the Civil Aviation Administration of China (CAAC), use the document as an acceptable means of complying with regulations for commercial aerospace systems that are software-based. Manufacturers can develop safety-critical software using the DO-178C standard, knowing that the resulting code complies with the appropriate aviation regulations.

What You Will Learn

  • An introduction to Development Assurance Levels (DALs), DO-178C objectives, document structure, and life cycle processes
  • How a model-based approach can streamline and enhance development and verification activities
  • Proven track record with over 100 certified projects across various aviation programs
  • Qualified Code Generator (KCG) and V&V tools with integrated model and code coverage capabilities
  • SCADE Design Verifier (DV) enables formal proof and coverage assistance to accelerate verification

Who should attend

  • Mid-management, software developers and testers, certification engineers, members of certification authorities. 

Speakers

  • Dr. Amina Mekki-Mokhtar
  • Dr. Bernard Dion