유도항법제어(GNC)

제어 엔지니어는 MATLAB과 Simulink를 사용하여 구현 전에 플랜트 모델로 제어 알고리즘을 테스트할 수 있으므로 값비싼 프로토타입을 사용하지 않고도 복잡한 설계를 수행할 수 있습니다. 엔지니어는 위성 설계의 공통 버스 아키텍처와 같은 여러 물리적 구성을 설계할 수 있습니다. 단일 환경에서 엔지니어는 다음을 수행합니다.

• GNC 모델 구축과 공유
• 컨트롤과 기계 설계 변경 시, 시스템 수준의 효과 통합 및 시뮬레이션
• 자동 생성된 비행체의코드와 테스트 케이스 재사용
• 새로운 설계를 레거시 설계 및 도구와 통합

통신 시스템

통신 시스템 엔지니어는 MATLAB과 Simulink를 우주선 통신 시스템을 개발, 분석, 구현하기 위한 공통 설계 환경으로 사용합니다. 엔지니어는 MATLAB과 Simulink를 사용하여 RF, 안테나, 디지털 요소가 포함된 신호 체인 요소의 시제품을 제작할 수 있습니다. 그런 다음 엔지니어는 여러 팀의 작업을 시스템 수준의 실행 가능한 모델로 결합할 수 있습니다.

엔지니어는 시스템 수준에서 결함을 신속하게  조사하고 실험실에서 생성하기 어려운 가정(what-if) 시나리오를 검사할 수 있습니다.  설계 완료가 가까워지면 엔지니어는 임베디드 프로세서를 위한 C코드와 FPGA를 위한 HDL 코드를 자동으로 생성할 수 있습니다.

우주 표준 준수를 위한 소프트웨어 공학

항공 우주 및 소프트웨어 엔지니어는 프로세스를 관리하는 다양한 표준을 준수해야 합니다. MATLAB 및 Simulink를 통해 엔지니어는 NPR 7150.2(NASA 소프트웨어 공학 요구 사항) 및 ECSS-E-40(유럽 우주표준협력기구, 우주 공학 소프트웨어)과 같이 전 세계에서 사용되는 표준을 준수할 수 있습니다.

엔지니어는 요구 사항 기반 단위 테스트를 실행하고 자동화된 모델링 표준 검사를 사용하여 비행 소프트웨어 알고리즘이 양산 준비 상태인지 확인할 수 있습니다. 그런 다음 엔지니어는 모델에서 자동으로 C 및 C++ 코드를 생성할 수 있으며 정적 코드 분석, 정형기법 및 코드 검토 기능을 사용하여 MISRA와 같은 표준 준수 여부를 확인할 수 있습니다.

또한, 런타임 오류가 없음을 증명하고 코드 검사를 자동화할 수 있습니다. 엔지니어는 소프트웨어 설계 문서, 메트릭 및 요구 사항을 포함하여 각 단계마다 인증 아티팩트 생성을 자동화할 수 있습니다.