DO Qualification Kit는 DO-178C, DO-278A 및 관련 보충 문서에 기반한 프로젝트의 Simulink 및 Polyspace 소프트웨어 검증 툴을 검증하는 데 유용한 문서, 테스트 케이스, 절차를 제공합니다. 이 키트에는 툴 검증 계획, 툴 운용 요구사항, 소프트웨어 검증 툴의 검증에 필요한 기타 자료가 들어 있습니다. 이 키트를 사용하면 지원되는 Simulink 제품으로 모델 기반 설계 워크플로를 사용하여 개발하는 임베디드 시스템의 인증 과정을 간소화할 수 있습니다. 이 키트를 Polyspace 제품과 함께 사용하면 기존의 워크플로 또는 모델 기반 설계를 사용하는 임베디드 시스템의 인증 과정을 간소화할 수 있습니다.
또한 DO Qualification Kit를 사용하면 DO-254 기반 프로젝트의 Simulink 모델 검증 툴을 검증할 수도 있습니다. Simulink Code Inspector 및 Polyspace 코드 검증 툴은 HDL 코드를 지원하지 않으므로 DO-254에 대한 해당 사항이 없습니다.
툴 검증 키트는 DO-330(소프트웨어 툴 검증 고려 사항)에 따라 특정 버전의 Simulink 및 Polyspace 검증 툴에 사용할 수 있습니다. 특정 프로젝트에 맞게 툴 검증 키트의 아티팩트를 수정하고 인증을 위해 제출되는 DO-178C, DO-278A, DO-254 인증 패키지에 해당 아티팩트를 포함할 수 있습니다.
항공전자 시스템 하드웨어의 DO-254 인증
DO Qualification Kit는 DO-254 준수 여부 입증 시 Simulink 검증 툴을 용이하게 사용하는 데 도움이 될 워크플로 지침과 기타 자료를 제공합니다.
툴 검증
키트에서 제공하는 문서 템플릿, 테스트 케이스, 테스트 절차를 사용해서 DO-178C에 명시된 툴 검증 접근법을 구현하여 지원되는 Simulink 및 Polyspace 제품을 검증할 수 있습니다.
제품 관련 자료:
"우리는 모델 기반 설계를 이용하여 첫 비행을 성공리에 마쳤습니다. 제어나 통합 측면에 아무런 문제도 없었습니다. Embedded Coder로 Simulink 모델로부터 제어 법칙 코드를 생성하여 수작업 코드 생성에 따른 속도 저하를 없앴고, 팀이 자유롭게 프로그램의 더 넓은 목표를 추구할 수 있게 되었습니다."
Mike Bothwell, Bell Helicopter