“우리의경우모델기반설계주요주요이점은저코딩，검증및인증작업이아닌설계와개발에집중수점입니다。그덕분에품질품질，소프트웨어do-178b인증，빠른반복이가능합니다。“
Massimiliano Campagnoli，Alenia Aermacchi
최신전투기와와사한비행특성가진alenia aermacchi m-346은파일파일이적은적은수명주기비용으로항공기에서한훈련을받을수있게있게있게4개의중복컴퓨터를장착한m-346 fcs（비행비행시스템）는飞行线제어및고급오토파일럿을지원합니다。
Alenia aermacchi는는기반설계를사용하여하여오토파일럿소프트웨어를개발하고하고하고을을을을을을을을을을을을을을을
“모델기반설계에서는모든이연결되어있습니다。”라고alenia aermacchi fcs애플리케이션소프트웨어팀리더massimiliano campagnoli가말말。“金宝appsimulink시스템모델은실행이가능하므로요구사항을조기에검증할있습니다。같은모델이DO-178B모델링모델링에에이트되어비행코드생성사용용。“
m-346오토파일럿시스템엔지니어링팀이만든최초의오토파일럿이었기때문에문제를빠르게테스트파일파일으로부터피드백을통합것것이최우선것이이이이에。최종오토파일럿소프트웨어는do-178b레벨인증이필요했습니다。
팀팀실험과인증이라는두두과정을따르는개발개발방식을추구하기로로방식을추구하기하기로실험과정의경우덜엄엄do-178b레벨d표준을사용하여신속개발에중점둔후전체및및도모위해위해적솔루션채택하는위해었습니다적솔루션하는것것이었습니다。인증인증과정의경우설계설계의버전을사용하고의하여전체do-178b레벨인증것것것것이었습니다。
ALENIA AERMACCHI는설계시뮬레시뮬레시뮬레이션，사사항추적，모델커버리지분석，코드생성및분석，리포트생성을포함두과정의목표를지원할수있는환경모두지원했습니다수환경을필요했습니다。
alenia aermacchi엔지니어들은si金宝appmulink®를를모델기반설계사용하여m-346을위한오토파오토파럿를개발개발개발했습니다했습니다개발개발개발개발
시스템및제어엔지니어팀이extenfl를사용하여simulink및金宝app状态流®에서arp-4754용시스템모델을개발하여6가지주요오토파일상태，사이의의，기타기타논리를정의。시뮬레이션을을실행하여시스템동작을검증했습니다
소프트웨어모델에대한가시뮬레이션을을실행simulink金宝app coverage™을을모델커버리지분석을사용하여이러한테스트결과로부터소프트웨어사항에에100％커버리지를확보하였습니다。
金宝appSimulink要求™의要求管理界面를사용하여IBM®合理的®门®의시스템요구사항을의의simuli金宝appnk및状态流객체에연결했습니다。金宝appSimulink Report Generator™를사용하여인증을위한사항추적추적보고서를생성생성
Model Advisor를사용하여do-178b고무결성표준및alenia aermacchi의의자체규칙에대해소프트웨어모델을확인확인에대해소프트웨어모델을확인확인했습니다대해대해소프트웨어모델모델확인확인。
팀은嵌入式编码器®를사용하여하여소프트웨어모델모델로부터로부터약약약의의생성생성생성생성생성青山®Adamulti®컴파일러를사용하여하여된코드를powerpc®프로세서에맞게컴파일했습니다。
팀팀波动®정적분석도구를사용하여하여코드의런타임오류를확인하고하고하고하고하고®00DO-178용做资格套件를사용하여POLYSPACE代码验证器와SIMULINK COVERAGE도구도구를인증。金宝app
팀은s金宝appimulink에에대해만든소프트웨어소프트웨어테스트테스트를으로생성된코드에테스트모음을제작제작을모음을제작제작제작으로모음을제작이러한테스트테스트를실행한한코드커버리지결과를를결과를金宝app를cover cover cover covercover모델모델커버리지커버리지결과비교비교비교얻은얻은모델모델커버리지결과비교비교
M-346항공기（오토파오토파럿기능포함）는이탈리아국방부내秘书处防御秘书处와国家军备局로부터로부터인증을받았습니다。alenia aermacchi엔지니어들엔지니어들현재모든모든소프트웨어구성요소（csci）가모델모델설계를사용개발개발do-178c인증을받는프로젝트에참여중입니다중입니다입니다입니다。
인증요구사항검토최대최대30％단축。“이전프로젝트에서는요구사항커버리지분석을주관적인가를기준기준수동으로수행했습니다。”라고campagnoli가말합니다。“金宝appSimulink，Simulink Coverage및imulink要求덕분에분석을자동화고객관적커버리지메트릭을으로써인증사항검토검토를30％단축할수있었습니다。”
비행시간20％단축。“모델모델기반설계덕분덕분에럿및비행엔지니어엔지니어의을바탕으로설계를신속신속수수수수수수수있었습니다있었습니다수수있었습니다있었습니다수수수수있었습니다수수수수수수수수。”라고campagnoli가말합니다。“비행비행시간을20％단축단축。무엇무엇보다동시에에소프트웨어품질을개선할수있었습니다있었습니다을개선할할수。“
저수준인증활동자동화。“요구사항커버리지커버리지，런타임오류오류사，표준준수준수사를포함한여러수준인증을자동화했습니다。”라고campagnoli가말합니다。“자동화덕분에요구사항항，시스템최적화，테스트테스트，다른중요한작업에더욱할수있었습니다。”
고객사례공유공유
您还可以从以下列表中选择一个网站：