매스웍스, 모델 기반 설계로 DO-178C 지원
매스웍스는 릴리스 2012b(R2012b)를 시작으로, DO Qualification Kit를 사용하는 엔지니어가 Simulink 및 검증 툴인 Polyspace의 DO-178C 및 DO-331을 포함한 보충 문서에 대한 적합성을 검토할 수 있다고 발표했다. 이러한 DO-178C 지원을 통해 프로그램 관리자와 인증 기관은 모델 기반 설계를 채택하고 임베디드 시스템 인증을 가속할 수 있는 글로벌 표준 접근 방식과 프레임워크를 제공받을 수 있다.
DO Qualification Kit는 항공 우주 표준을 충족해야 하는 프로젝트를 지원하는 Simulink 및 소프트웨어 검증 툴인 Polyspace의 적합성 검토를 돕는 문서, 테스트 사례 및 절차를 제공한다. 해당 키트는 또한 툴 검증 계획, 툴 사용 요구 사항, 소프트웨어 검증 툴 적합성 검토를 위한 기타 자료(Criteria 2 및 3)도 포함한다.
DO Qualification Kit의 개선 사항은 DO-178 프로세스 적용 자문 서비스를 포함한 기존 매스웍스 DO-178 기능을 바탕으로 한다. 2012년에 도입된 본 자문 서비스는 DO-178 표준에 대해 항공 우주 엔지니어를 교육하고 현재 프로세스의 격차를 파악하며 모델 기반 설계를 통해 더욱 최적화된 DO-178 프로세스 프레임워크를 위한 로드맵을 제공한다.
