DO-178C 표준은 항공 시스템에 쓰이는 소프트웨어의 인증을 위한 일련의 목표를 정의합니다. DO-178C의 목표를 지원하기 위한 다음의 검증 접근법을 통해 위험과 노력을 줄일 수 있습니다.
- 실행 가능한 사양을 생성하여 시스템 요구사항 반복 및 개선
- 모델링과 시뮬레이션을 활용한 아키텍처 정의 및 설계 선택의 강인성 및 유지보수성 확인
- 백투백 테스트 및 요구사항에서 테스트까지의 종단간 추적성을 통한 코드 및 실행 가능 커버리지 입증
- 모델 및 코드 리뷰 작업 자동화
- 정형 기법을 사용한 테스트 작업 절감
MATLAB 및 Simulink를 사용한 DO-178 표준
요구사항 및 추적성 관리
종단간 추적성을 통해 시스템 요구사항을 관리할 수 있습니다.
- 서식 있는 텍스트, 이미지 및 이들의 모든 특성으로 요구사항 생성
- 목표의 완전성 검토 및 입증
- 인증 감사를 위한 요구사항 문서 생성
설계 구현 및 검증
설계의 강인성과 유지보수성이 보장되도록 아키텍처를 설계하고 구현 방안을 선택할 수 있습니다.
- 구현 분해 및 구성요소화
- 데이터 결합 및 제어 결합 관리
- 설계의 정확성 및 산업 표준 준수 여부 검사 (DO-178C/DO-331, DO-254 검사)
- 인증 감사를 위한 설계 문서 생성
- 코드 생성 및 코드와 모델 간의 호환성 보장
요구사항에 기반한 구현 테스트
기능적 및 기술적 기대와 관련된 요구사항 준수 여부를 입증할 수 있습니다.
- 정형 테스트의 요구사항 발달시키는 데 쓰이는 테스트 절차 재사용
- 모델 개발에 요구사항 기반 테스트 사용
“생성된 코드의 품질에 대한 우리의 신뢰 수준은 기존의 수작업 공정을 통해 만들어진 코드와 마찬가지로 높습니다. 우리는 Embedded Coder를 사용하여 올바른 코드가 생성되고 있음을 알 수 있으며, Simulink Code Inspector를 사용하여 모델로의 추적성을 보장할 수 있습니다.”
Jillian Alfred, Bell 525 fly-by-wire control law designer
자세히 알아보기
- DO-178C 공정 적용 자문 서비스
- 검증된 툴을 사용한 DO-178C 개발 공정 (비디오 11편)
- DO-178C 상세 사례 연구 (무료 다운로드)