DO Qualification Kit (for DO-178 and DO-254)

 

DO Qualification Kit (for DO-178 and DO-254)

Simulink 및 Polyspace 검증 툴의 DO-178, DO-278 및 DO-254에 대한 검증

항공전자 시스템 소프트웨어의 DO-178 인증

키트의 워크플로 지침과 기타 자료로 DO-178C 인증 과정을 지원할 수 있습니다. 이러한 자료를 사용하여 DO-330, DO-331, DO-333 등의 보충 문서에 맞는 SimulinkPolyspace 소프트웨어 툴 사용을 용이하게 할 수 있습니다.

항공전자 시스템 하드웨어의 DO-254 인증

DO Qualification Kit는 DO-254 준수 여부 입증 시 Simulink 검증 툴을 용이하게 사용하는 데 도움이 될 워크플로 지침과 기타 자료를 제공합니다.

툴 검증

키트에서 제공하는 문서 템플릿, 테스트 케이스, 테스트 절차를 사용해서 DO-178C에 명시된 툴 검증 접근법을 구현하여 지원되는 Simulink 및 Polyspace 제품을 검증할 수 있습니다.

"우리는 모델 기반 설계를 이용하여 첫 비행을 성공리에 마쳤습니다. 제어나 통합 측면에 아무런 문제도 없었습니다. Embedded Coder로 Simulink 모델로부터 제어 법칙 코드를 생성하여 수작업 코드 생성에 따른 속도 저하를 없앴고, 팀이 자유롭게 프로그램의 더 넓은 목표를 추구할 수 있게 되었습니다."

Mike Bothwell, Bell Helicopter

DO Qualification Kit에 대해 더 알아보고 싶으십니까?