한국한국항공우주,do-178c표준에부합하는콥터자동비행제어소프트웨어개발개발자동자동비행소프트웨어에模型的设计채택

과제

do-178c에따라헬리콥터자동비행장장비행제어법칙를개발개발하고테스트합니다

솔루션

基于模型的设计을이용하여소프트웨어모델링과이션을을수행하고코드를생성한뒤뒤뒤consultconsult환경환경에서에서소프트웨어검증검증검증검증

결과

  • 신속한소프트웨어수정
  • 소프트웨어결함률감소됨
  • 자동으로do-178c검증

“Mathworks咨询服务로로자동환경을구축해서해서설계자들DO-178C에따라제어법칙소프트웨어를수수수수수수컨설턴트들이저희가개발한모델에어떻게하네스를설정해야되는지,모델을어떻게수정해서문제를해결하는지상세히알려주었습니다。“

한국항공우주연구원,강영신강영신사

DO-178C절차에따른따른법칙법칙법칙。


최근에한국항공우주연구원(이하'kari'로약칭)은유인헬리콥터의자동제어장치제어장치제어장치에사용되며국제표준do-178c에부합하는를개발하고테스트위해위해위해를하고테스트하기위해matlab®과s金宝appimulink.®를이용용模型的设计을을하였습니다。지금지금kari에서는模型的设计设计이나do-178c절차절차접한적이없기때문에,Mathworks咨询服务를통하여do-178c级别a표준에적합한개발과을위한교육을하고환경환경조성조성조성조성조성조성조성

Kari비행비행제어연구연구팀책임연구원인강영신사는“matlab〗simul金宝appink가없었다면do-178c에부합하는제어설계와소프트웨어개발에훨씬인력물론물론기술적노하우경험경험경험경험경험경험경험경험겁겁니다니다이했을matlab과s金宝appimulink덕분에저희는경험에이도이프로젝트를기한내에마칠수수있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다

과제

과거에이와비슷한프로젝트에서는이제어법칙을개발하면비행운용소프트웨어개발자에게를를넘겨주어소프트웨어개발자개발자주어주어수작업하고하고수작업하고으로해야했습니다해야해야해야해야사제어설계자와소프트웨어개발자사이에에한오해만있어도에에가발생하였고,그런오류를비행테스트단계까지하지하지못경우경우도있었습니다도도도도도도도도도도도도Kari는설계에서직접소프트웨어생성생성하는을통해이런오류오류를차단차단하기로로

헬리콥터ascs프로젝트는kari가한국에서최초로시도하였습니다。경험이부족하다는문제를인식한팀은를생성할만아니라,do-178c지침지침부합제어법칙를를으로검증유효성유효성수있는개발환경을하기위해가의의하기위해가의도움을전문。

솔루션

Kari연구원들연구원들Matlab과金宝appsimulink를이용한模型设计을이용하여返回하여하여제어법칙소프트웨어를개발하고검증검증검증법칙법칙법칙검증법칙법칙법칙소프트웨어소프트웨어를개발검증검증법칙법칙법칙소프트웨어를를개발검증

개발개발에착수하기전전에연구팀은은은은s咨询服务로부터模型设计에에교육을받았습니다。이무료교육뿐만새로운개발환경에대한실제적인지원도제공해덕분에팀은생성생성생성에팀코드생성,확인,유효성유효성사과정과정을자동화수수수수할수

Kari연구원들은기본안정제어제어,외부루프제어,모드모드에관한서브이포함된제어법칙을을simulink를이용용하여개발개金宝app발개발개발개발이모델은은헬리콥터조종간과센서에서나온입력을처리,작동기작동기변위명령과모드(模式更改授权信号)를생성하였습니다。

연구팀의비선형시켰고시켰고시켰고시켰고시켰고조건조건시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레시뮬레실행과

연구원들연구원들matlab스크립트를이용하여시뮬레이션결과결과를후처리하고세부세부보고서를생성생성보고서에는조종사의의입력뿐만아니라그에상응하는동체,자세,작동기작동기가담겨있었습니다。

kari연구원들은mathworks컨설턴트들이조성한환경을이용하여하여자동확인과유효성사프로세스를밟았습니다。이과정에서的S金宝appimulink확인및유효성검사툴을이용하여모델실행률분석을수행하고설계오류와데드로직을탐지하였을뿐만아니라,모델이DO-178C지침을비롯한안전표준과고무결성(高完整性)모델링지침에에하는지하는지사했습니다。

金宝appsimulink test™를이용하여요구사항기반시험관리하고실행하였으며,테스트하네스를생성으로써으로써팀은법칙모델있는있는서브에대해100%커버리지를만족하는을완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료완료嵌入式编码器嵌入式编码器®를이용하여,검증된제어법칙모델로부터를를생성,생성된코드에대해단위시행하였습니다。

지금지금팀은하드웨어인더(硬件循环)시뮬레이션과do-178c감사,제어법칙소프트웨어에대한비행시험준비있습니다。

결과

  • 신속한소프트웨어수정。강박사는“프로젝트중에긴급한수정을받는일이흔했습니다。基于模型的设计에에도입한자동프로세스덕분에저희는소프트웨어수정에에시간을50%까지까지줄일수“라고라고언급。
  • 소프트웨어결함률감소됨。강강사는“嵌入式编码器를이용해서해서simulink제어金宝app법칙에서직접직접를생성했기때문소프트웨어소프트웨어버그를생성때문소프트웨어버그가사라졌습니다。제어법칙설계자와소프트웨어개발자사이에오해가있으면버그가생기기생기기이죠라고라고말。
  • •자동으로do-178c검증。강강사는“do-178c절차가저희simul金宝appink개발및검증환경에으로반영되었습니다。그래서do-178c를접해본경험이없는개발자들개발자들도지침을준수준수수있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다있었습니다