DO Qualification Kit와 모델기반 설계를 이용한 항공 Software 개발
현대자동차 이승현
항공기에 탑재되는 항공전자시스템은 안정성을 입증해야 하며 항공분야 산업표준 DO-178C/DO-331에 따라 개발되어야 합니다. 이러한 항공 Software 개발에서 Simulink®를 활용한 모델기반설계 및 모델로부터 자동 생성된 코드검증을 위한 Polyspace®를 적용하고자 할 때, 사용되는 도구들은 인증을 위해서 tool qualification 받을 수 있도록 적절한 테스트케이스, 절차, 문서를 제공할 수 있어야 합니다.
본 세션에서는 모델기반 설계를 적용한 항공 software 개발과정에서 DO-178C/DO-331 인증을 위한 DO Qualification Kit 채택한 software 개발 및 검증 프로세스 과정과 ALM 및 CM, CI/CD 도구 연동을 통한 소프트웨어 수명주기 통합방안을 소개 드립니다.
발행: 2023년 6월 6일
