업계 표준

DO-254

DO-254 표준은 항공 시스템용 하드웨어의 인증을 위한 일련의 목표를 정의합니다. DO-254 표준은 항공 소프트웨어 인증 표준인 DO-178을 본떠 규정되었습니다. DO-178과 마찬가지로 DO-254 목표를 충족하려면 다음과 같은 공정으로 인해 시간과 비용이 많이 들 수 있습니다.

  • 요구 사항 관리 및 추적
  • 설계 표준 준수
  • 확인 및 검증

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

MATLAB®, Simulink®HDL Coder™는 DO-254를 위한 모델 기반 설계와 관련된 주요 개발 활동을 지원합니다.


주요 검증 작업을 지원하는 그 밖의 제품

  • Simulink Requirements™로 Simulink 내에서 요구 사항을 작성, 분석 및 관리할 수 있습니다. Simulink Check™는 개발 시 표준 및 지침 위반을 식별하는, 업계에서 인정받는 검사 및 측정법을 제공합니다. Simulink Test™Simulink Coverage™는 모델 커버리지 분석을 비롯한 모델 검증을 수행합니다.
  • HDL Verifier™는 HDL 시뮬레이터와 FPGA HIL(hardware-in-the-loop)을 사용하여 Verilog® 및 VHDL® 코드를 검증합니다.
  • Simulink Report Generator™는 모델 및 테스트 결과를 문서화합니다.
  • DO Qualification Kit는 모델 기반 설계에서 사용되는 위와 같은 툴을 비롯한 여타 검증 툴에 대한 툴 검증을 지원합니다.