한국 AAV 종합지원센터

to top 통합 매뉴얼 다운로드
  1. Home
  2. Equipment Support
  3. Equipment Overview

Equipment Overview

Explore the functions and specifications of the equipment operated by our center at a glance.

  1. Equipment Overview
보유중

Aviation Software Reliability Test System

This system detects logical errors in AAV onboard software and verifies compliance with international aviation standards, ensuring the integrity of flight control systems and preventing accidents caused by software malfunctions.

pause
  • Equipment Details

    1. Key Feature

      • Test Category: Aviation Software Reliability Testing
      • Reliability analysis and evaluation of software developed for AAV applications, including flight control, motor control, and autonomous flight.
      • Provides results and improvement recommendations to AAV and aviation software development companies.
      • Supports automated verification tools for each stage of the software development lifecycle.
      • Because aviation systems cannot be stopped during operation and rely heavily on software, ensuring safety and reliability in accordance with DO-178C aviation system requirements is essential.
      1. Aviation Software Reliability Test System 1AAV Software Reliability Testing Scene
      2. Aviation Software Reliability Test System 2Reliability Verification Process
    2. Specification

      • Static Testing Coding rule and vulnerability checks, metric analysis
        Dynamic Testing Structure-based unit/integration testing and coverage measurement, Requirements-based system testing and coverage measurement
        CodeScroll™ STATIC
        • Supports C / C++ / C# / JAVA
        • Coding rule checks: MISRA C, MISRA C++, IEC 61508, etc.
        • Tool Certifications: DO-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304, etc.
        CodeScroll™ Controller Tester
        • Supports C / C++
        • Structure-based unit and integration testing
        • Coverage measurement: Statement / Branch / MC/DC / Function Call
        • Tool Certifications: DO-178C, IEC 61508, ISO 26262, DO-178C, IEC 60880, IEC 62304, etc.
        QualityScroll™ Cover
        • Coverage measurement for requirements-based system testing
        • Supports Statement / Branch / MC/DC / Function / Function Call / Change Coverage
        • Tool Certifications: DO-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304, etc.
        QualityScroll™ VPES
        • Automated verification result history management
View List 수정