매스웍스, 모델 기반 설계로 DO-178C 지원

[월간 무인화기술 1월호]

<News & Info>

매스웍스, 모델 기반 설계로 DO-178C 지원

DO Qualification Kit 업데이트로 Simulink 및 Polyspace 검증 툴 검사

 

 

매스웍스는 릴리스 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