항공우주 시스템용 비행 코드 생성

비행 코드 생성을 통해 모델을 자동으로 잘 문서화된 고품질의 코드로 변환하고, 현장 교체 품목(LRU)에 임베딩하여 항공우주 업체는 코드 라인을 40% 절감하고, 6시그마 비행 소프트웨어 품질을 달성하고 자동항법장치를 최초 시도에 동작하게 할 수 있습니다.

LRU에 Embedded Coder에서 생성된 비행 코드가 수백만 줄에 달하는 오늘날, MathWorks는 생산 조직에서 다음과 같은 목적을 이룰 수 있도록 도움을 주는 기술 개발을 위해 정진하고 있습니다.

  • 소프트웨어 아키텍처 및 설계
  • 비행 코드 생
  • SIL(software-in-the-loop) 및 PIL(processor-in-the-loop) 테스트 등의 비행 코드 검증
  • DO-178 인증

“저희는 Simulink의 ARP4754용 시스템 설계 모델을 사용하여 안정적이고 객관적인 요구 사항을 확립합니다. 이 모델을 DO-178용 소프트웨어 설계 모델의 기초로 사용하여 비행 코드를 생성하고 소프트웨어 확인 작업에 검증 테스트를 재사용함으로써 시간을 절약할 수 있습니다.”

Ronald Blanrue, Airbus Helicopters

소프트웨어 아키텍처 및 설계

Simulink와 Stateflow는 항공 전자 장비, GN&C, 추진, 레이더 및 기타 항공우주 시스템 설계 개발에 적합한 툴입니다. 정적 다이어그램 대신 실행 가능한 사양을 사용하여 설계 시간이 단축되고 조기 검증 및 확인이 가능해집니다. System Composer와 Requirements Toolbox를 사용하여 아키텍처 모델을 생성하고 요구 사항을 추적할 수 있습니다.

여기에 대체 텍스트 입력

Simulink 모델에서 SIMD 코드 생성

비행 코드 생성 및 통합

Embedded Coder는 MATLAB 파일이나 Simulink 모델로부터 임베디드 코드를 생성합니다. 기본적으로 모든 기기에 대해 ANSI/ISO C 또는 C++ 코드가 생성됩니다. 또한 이렇게 생성된 코드는 유연한 API를 사용하여 특정 MCU 및 DSP에 맞게 쉽게 최적화될 수 있습니다. 시뮬레이션 또는 코드 생성 중에 손으로 작성한 코드를 통합할 수도 있습니다. GPU Coder를 사용하여 GPU용으로 코드를 생성할 수 있습니다.

비행 코드 검증

Simulink Code Inspector를 사용하여 구조적 등위성 분석을 수행하고 모델과 생성된 코드에 대한 추적 보고서를 생성함으로써 안전 표준을 위한 소스 코드 검토를 자동화할 수 있습니다.

SIL(Software-in-the-loop), PIL(processor-in-the-loop) 및 HIL(hardware-in-the-loop) 테스트는 코드를 실행하고 코드를 참조 모델의 동작과 비교하는 과정을 자동화하여 비행 코드 검증의 근간을 이룹니다. PIL 테스트 환경 조성은 Embedded Coder 또는 프로세서 보드에 직접 연결을 통해 할 수 있습니다. Simulink Test를 사용하여 테스트 및 테스트 스위트를 작성, 실행, 검토 및 구성할 수 있습니다. Simulink Coverage를 사용하여 테스트의 완전성을 측정하여 생성된 코드의 구조적 커버리지를 계산할 수 있습니다.

DO-178B 인증

DO-178은 주요한 항공우주 소프트웨어 안전 표준입니다. MathWorks의 DO-178 지원은 DO Qualification Kit를 통해 사용할 수 있습니다. Simulink Code Inspector와 같은 적합성 검사 툴을 사용하여 모델과 코드를 검증함으로써 적합성 검사 가능한 코드 생성 워크플로를 지원합니다.