산업 표준

DO-178C

모델 기반 설계를 활용한 항공 시스템 인증 획득

DO-178C 표준은 항공 시스템에 쓰이는 소프트웨어의 인증을 위한 일련의 목표를 정의합니다. DO-178C의 목표를 지원하기 위한 다음의 검증 접근법을 통해 위험과 노력을 줄일 수 있습니다.

  • 실행 가능한 사양을 생성하여 시스템 요구사항 반복 및 개선
  • 모델링과 시뮬레이션을 활용한 아키텍처 정의 및 설계 선택의 강인성 및 유지보수성 확인
  • 백투백 테스트 및 요구사항에서 테스트까지의 종단간 추적성을 통한 코드 및 실행 가능 커버리지 입증
  • 모델 및 코드 리뷰 작업 자동화
  • 정형 기법을 사용한 테스트 작업 절감
DO-178C 다이어그램

요구사항 및 추적성 관리

종단간 추적성을 통해 시스템 요구사항을 관리할 수 있습니다.

  • 서식 있는 텍스트, 이미지 및 이들의 모든 특성으로 요구사항 생성
  • 목표의 완전성 검토 및 입증
  • 인증 감사를 위한 요구사항 문서 생성
요구사항 및 추적성 관리

고객 성공 사례

자세히 알아보기

제품 소개

설계 구현 및 검증

설계 구현 및 검증

설계의 강인성과 유지보수성이 보장되도록 아키텍처를 설계하고 구현 방안을 선택할 수 있습니다.

고객 성공 사례

자세히 알아보기

제품 소개

코드 품질 입증

MISRA(Motor Industry Software Reliability Association) 준수 및 정형 기법을 통해 코드 검증을 자동화할 수 있습니다.

  • MISRA 또는 CERT-C 규칙과 관련된 코드 검사를 통해 코드 품질 및 유지보수성 검사
  • 정형 기법(DO-333)을 활용하여 로우 레벨 테스트 작업 절감
코드 품질 입증

고객 성공 사례

자세히 알아보기

제품 소개

요구사항에 기반한 구현 테스트

커버리지 결과의 테스트 및 요구사항 추적성.

요구사항에 기반한 구현 테스트

기능적 및 기술적 기대와 관련된 요구사항 준수 여부를 입증할 수 있습니다.

고객 성공 사례

제품 소개

검증된 워크플로 도입

“생성된 코드의 품질에 대한 우리의 신뢰 수준은 기존의 수작업 공정을 통해 만들어진 코드와 마찬가지로 높습니다. 우리는 Embedded Coder를 사용하여 올바른 코드가 생성되고 있음을 알 수 있으며, Simulink Code Inspector를 사용하여 모델로의 추적성을 보장할 수 있습니다.”

Jillian Alfred, Bell 525 fly-by-wire control law designer
사례 보기

자세히 알아보기

검증된 코드 생성을 사용한 DO-178C 워크플로
포스터 다운로드