to top 통합 매뉴얼 다운로드

지원장비소개

센터가 보유한 장비의 기능과 사양을 한눈에 확인하세요.

보유중

항공 소프트웨어 신뢰성 시험 장비

AAV 탑재 소프트웨어의 논리적 오류를 검출하고 국제 항공 표준 준수 여부를 검증하여, 비행 제어 시스템의 무결성을 확보하고 소프트웨어 오작동으로 인한 사고를 예방합니다.

장비사용신청 예약현황확인

일시정지

장비 상세정보

Key Feature
- 시험 분야 : 항공 S/W 신뢰성 시험
- AAV 비행제어, 모터제어, 자율 비행 등 AAV용으로 개발된 S/W의 신뢰성 분석 및 평가
- AAV, 항공 SW 개발 기업에게 결과 제공 및 신뢰성 향상 방안 제공
- 소프트웨어 개발 단계별 검증 활동 자동화 도구 지원
- 항공용 시스템 문제 발생 시 정지 불가능 리스크가 크고 소프트웨어의 비중이 높아 DO-178C 항공용 시스템 특성을 고려하여 소프트웨어의 안정성/신뢰성 확보가 필수
1. AAV SW 신뢰성 시험 모습
2. 신뢰성 검증 모습

Specification

정적 시험	코딩 규칙 및 취약점 점검, 메트릭 점검
동적 시험	구조 기반 단위/통합 시험 및 커버리지 측정, 요구사항 기반 시스템 시험 및 커버리지 측정
CodeScrollTM STATIC	C/C++/C#/JAVA 언어 지원 코딩 규칙 검사 : MISRA C, MISRA C++, IEC 61508 등 Tool Certification : Do-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304 등
CodeScrollTM Controller Tester	C/C++언어 지원 구조 기반 단위 시험/통합 시험 Statement/Branch/MCDC/Function call 커버리지 지원 Tool Certification : Do-178C, IEC 61508, ISO 26262, Do-178C, IEC 60880, IEC 62304 등
QualityScrollTM Cover	요구사항 기반 시스템 시험의 커버리지 측정 Statement/branch/MCDC/Functrion/Function-call/ 변경 커버리지 측정 Tool Certification : Do-178C, IEC 61508, ISO 26262, IEC 60880, IEC 62304 등
QualityScrollTM VPES	시험 결과 자동 이력 관리

목록보기