업계 표준

ARP-4754

ARP-4754 표준은 시스템 요구 사항, 요구 사항 검증, 시스템 설계 및 시스템 검증 등 항공기 인증에서 시스템 공학적 측면을 다룹니다. ARP-4754 표준은 비행 소프트웨어 인증의 목표를 규정하는 DO-178과 비행 하드웨어 인증의 목표를 규정하는 DO-254에서 지원됩니다. 2010년에 공개된 ARP-4754A는 요구 사항 파악, 프로토타이핑 및 요구 사항 검증을 위한 모델링 및 시뮬레이션 사용에 관한 정보를 제공합니다.

ARP-4754, DO-178, DO-254와 같은 표준의 목표를 충족하려면 철저하고 자세하게 문서화된 검증 활동이 요구되기 때문에 시간과 비용이 많이 들 수 있습니다.

엔지니어들은 모델 기반 설계를 사용하여 ARP-4754 목표를 충족하는 한편 요구 사항의 조기 검증, 요구 사항 연결 자동화, 모델 시뮬레이션 및 분석, 모델 표준 검사, 아티팩트 생성 보고, 테스트 케이스 재사용 등을 통해 비용 편익 및 시장 출시 속도 측면에서 이점을 누릴 수 있습니다.

MATLAB, System Composer, Simulink는 아래 그림과 같이 ARP-4754를 위한 모델 기반 설계를 지원합니다.

“제가 속한 팀의 ARP 4754 관련 업무에서는 Simulink를 사용한 모델링이 무척이나 중요한데, 시스템 레벨 요구 사항을 검증하고, 요구 사항 기반 테스트를 개발하고, 당사의 공급업체가 Simulink와 Embedded Coder로 DO-178 Level A 비행 코드를 생성할 때 사용할 로우 레벨 소프트웨어 요구사항을 정의하는 업무 등이 특히 그렇습니다.”

Rodrigo Fontes Souto, Embraer

MATLAB 및 Simulink를 사용한 ARP-4754 표준


제품