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

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

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

  • 소프트웨어아키텍처및설계
  • 비행코드생
  • SIL(循环软件)및IL(循环处理器)테스트등의비행코드검증
  • 做- 178인증吗

“저희는s金宝appimulink의arp4754용용설계모델사용하여안정이고객관인인사항항을확립확립확립확립이모델을DO-178용소프트웨어설계모델의사용하여비행비행코드를생성하고소프트웨어작업에검증테스트를재수으로써으로써시간을절약수수수수수수수있습니다있습니다수있습니다있습니다있습니다있습니다있습니다있습니다。“

Ronald Blanrue,空中客车直升机公司

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

金宝app®와Stateflow®는항공전자장비,GN&C추진,레이더및기타항공우주시스템설계개발에적합한툴입니다。정적정적이어그램그램실행가능사양을사용하여설계이단축되고되고검증및확인이가능능系统Composer™金宝appSimulink要求™를사용하여아키텍처모델을하고요구사항을할수있습니다。

金宝appSimulink모델에서simd코드생성

비행코드생성및통합

嵌入式编码器는matlab.®파일이나S金宝appimulink모델로부터임베디드코드를생성생성합니다합니다합니다。기본적으로모든기기에대해ansi / iso c또는c ++코드가생성됩니다。또한이렇게생성된된한한를사용하여특정mcu및dsp에맞게쉽게최적화될수있습니다。시뮬레이션또는또는코드생성중에손으로작성한코드통합할수도수도를할할수도GPU编码器™를사용하여gpu용으로코드를생성수수있습니다。

비행코드검증

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

SIL(循环软件),PIL(循环处理器)및边境(半)테스트는코드모델의과하는을자동화하여비행검증의근간을을의근간을을을검증근간을을을의근간을을을의근간을을을을근간근간을을근간근간근간근간근간근간근간Pil테스트환경조성은嵌入式编码器또는또는프로세서보드에에직접연결통해할수수을통해할수金宝appSimulink Test™를사용하여테스트및테스트스위트를작성,실행,검토및구성할수있습니다。金宝appSimulink Coverage™를사용하여테스트의완전성을측정하여생성된코드의구조적커버리지를계산할수있습니다。

do-178b인증

Do-178은주요한항공우주소프트웨어안전표준입니다。MathWorks의Do-178지원은做资格套件를통해사용할수있습니다。金宝app仿真软件代码检查员와같은적합성검사툴을사용하여모델과코드를검증함으로써적합성검사가능한코드생성워크플로를지원합니다。