비행 코드 생성을 통해 모델을 자동으로 잘 문서화된 고품질의 코드로 변환하고, 현장 교체 품목(LRU)에 임베딩하여 항공우주 업체는 코드 라인을 40% 절감하고, 6시그마 비행 소프트웨어 품질을 달성하고 자동항법장치를 최초 시도에 동작하게 할 수 있습니다.
LRU에 Embedded Coder에서 생성된 비행 코드가 수백만 줄에 달하는 오늘날, MathWorks는 생산 조직에서 다음과 같은 목적을 이룰 수 있도록 도움을 주는 기술 개발을 위해 정진하고 있습니다.
- 소프트웨어 아키텍처 및 설계
- 비행 코드 생
- SIL(software-in-the-loop) 및 PIL(processor-in-the-loop) 테스트 등의 비행 코드 검증
- DO-178 인증
“저희는 Simulink의 ARP4754용 시스템 설계 모델을 사용하여 안정적이고 객관적인 요구 사항을 확립합니다. 이 모델을 DO-178용 소프트웨어 설계 모델의 기초로 사용하여 비행 코드를 생성하고 소프트웨어 확인 작업에 검증 테스트를 재사용함으로써 시간을 절약할 수 있습니다.”
소프트웨어 아키텍처 및 설계
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와 같은 적합성 검사 툴을 사용하여 모델과 코드를 검증함으로써 적합성 검사 가능한 코드 생성 워크플로를 지원합니다.
임베디드 코드 생성 추가 정보
도와드릴 방법을 알려주십시오.
고객 맞춤형 평가를 원하시거나 필요에 따른 가격을 알아보려면 연락해 주십시오.
