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

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.