매스웍스는 릴리스 2012b(R2012b)를 시작으로, DO Qualification Kit를 사용하는 엔지니어가 Simulink 및 검증 툴인 Polyspace의 DO-178C 및 DO-331을 포함한 보충 문서에 대한 적합성을 검토할 수 있다고 발표했다. 이러한 DO-178C 지원을 통해 프로그램 관리자와 인증 기관은 모델 기반 설계를 채택하고 임베디드 시스템 인증을 가속할 수 있는 글로벌 표준 접근 방식과 프레임워크를 제공 받을 수 있다.

A 레벨 FAA의 소프트웨어 DER인 스티브 모튼(Steve Morton)은 “항공기 제조업체와 공급업체는 DO-178C와 DO-331로 시스템을 인증할 수 있다는 확신을 가지고 모델 기반 설계의 생산성, 비용 및 품질 이점을 실현할 수 있다”며 “DO Qualification Kit에 설명된 검증 워크플로우(workflow)는 검증 독립성, 실행 가능한 오브젝트 코드 검증, 자동 생성 코드에 대한 구조적 커버리지 분석을 포함하여, 업계 모범 사례와 FAA 소프트웨어 인증 커뮤니티의 기대치를 충족한다”고 전했다.

R2012b에서 DO Qualification Kit는 다음의 DO-178C 보충 문서에 대해 Simulink 및 Polyspace 제품도 지원한다.

• DO-330 Software Tool Qualification Considerations
• DO-331 Model-Based Development and Verification
• DO-332 Object-Oriented Technology and Related Techniques
• DO-333 Formal Methods

DO Qualification Kit는 항공 우주 표준을 충족해야 하는 프로젝트를 지원하는 Simulink 및 소프트웨어 검증 툴인 Polyspace의 적합성 검토를 돕는 문서, 테스트 사례 및 절차를 제공한다. 해당 키트는 또한 툴 검증 계획, 툴 사용 요구 사항, 소프트웨어 검증 툴 적합성 검토를 위한 기타 자료(Criteria 2 및 3)도 포함한다.

DO Qualification Kit의 개선 사항은 DO-178 프로세스 적용 자문 서비스를 포함한 기존 매스웍스 DO-178 기능을 바탕으로 한다. 2012년에 도입된 본 자문 서비스는 DO-178 표준에 대해 항공 우주 엔지니어를 교육하고 현재 프로세스의 격차를 파악하며 모델 기반 설계를 통해 더욱 최적화된 DO-178 프로세스 프레임워크를 위한 로드맵을 제공하고 그러한 로드맵의 구현을 지원한다.

무료 온라인 세미나에 참석하여 DO Qualification Kit가 어떻게 완전한 소프트웨어 개발 및 검증 수명 주기를 지원하는지 확인할 수 있다. (툴 검증 키트를 사용한 DO-178의 모델 기반 설계)