巴西航空工業(yè)公司的 Legacy 500 是第一款使用了智能控制和電傳技術(shù)的中型商務(wù)噴氣飛機(jī)。這種技術(shù)取代了飛控系統(tǒng)（FCS）中的機(jī)械控制，使得更多的操控面可以同時執(zhí)行，從而使飛行更順暢，降低了飛行員的工作量，提高了安全性。

巴西航空工業(yè)公司使用 MATLAB和 Simulink加速 Legacy 500 飛控系統(tǒng)定義良好的低層級需求的開發(fā)和驗(yàn)證，并提高了需求質(zhì)量。

“有了 Simulink，我們可以快速建立幾個解決方案的原型，測試它們，然后選出最好的一個，”巴西航空工業(yè)公司的產(chǎn)品開發(fā)工程師 Rodrigo Fontes Souto 說，“這樣的結(jié)果是，開發(fā) FCS 的供應(yīng)商報告的問題顯著減少。需要解決的問題更少，我們有更多的時間來開發(fā)新功能，能按時交付更成熟的產(chǎn)品，成本更低。”

巴西航空工業(yè)公司的Legacy 500

挑戰(zhàn)

巴西航空工業(yè)公司和客戶一起開發(fā) Legacy 500 的高層級需求。他們使用客戶的輸入來生成飛機(jī)的無失誤的設(shè)計(jì)。工程團(tuán)隊(duì)面臨的一個主要挑戰(zhàn)是把高層級的需求轉(zhuǎn)換成書寫良好的低層級需求，提供給開發(fā) FCS 軟件的供應(yīng)商。

Legacy 450 和 Legacy 500 都是無失誤的設(shè)計(jì)，在技術(shù)和飛行特性上都有廣泛的創(chuàng)新，包括在中輕型和中型噴氣式飛機(jī)中從未使用過的最先進(jìn)的全數(shù)字控制系統(tǒng)。將成熟的產(chǎn)品按時投入到服務(wù)中的設(shè)計(jì)目標(biāo)和最后期限意味著設(shè)計(jì)團(tuán)隊(duì)必須創(chuàng)建一個非常詳細(xì)的產(chǎn)品開發(fā)計(jì)劃，并尋找能夠縮短開發(fā)周期、降低開發(fā)風(fēng)險的工具和合作伙伴。

在早期的設(shè)計(jì)中，沒有大量使用建模和仿真，很難確保低層級需求中的一致性。因此，在交付給供應(yīng)商后，有時需要重寫需求，這會浪費(fèi)時間，推高成本。

解決方案

巴西航空工業(yè)公司使用Simulink建模和仿真為 Legacy 500 飛控系統(tǒng) (FCS) 定義低層級需求。

建模小組使用Simulink建立 FCS 的詳細(xì)模型，以及飛行動力學(xué)、飛行員輸入的模型。完整的模型包含了超過一百萬個模塊和數(shù)十個組件，其中許多組件包含了超過 700 個輸入和 500 個輸出。

建模小組建立了功能測試用例，以確認(rèn)高層級需求得到滿足，并驗(yàn)證了低層級需求。

測試自動化是開發(fā)成功的另一個關(guān)鍵。該小組設(shè)立工作站，連續(xù)運(yùn)行超過 1500 個測試用例，編寫MATLAB腳本，以便在測試過程中自動運(yùn)行任務(wù)。使用Simulink Coverage，工程師分析模型覆蓋率，并確定模型的未測試元素，改進(jìn)和擴(kuò)展他們的測試用例，直至達(dá)到 100% 的覆蓋率。

模型重用顯著節(jié)省了時間、提高質(zhì)量。Simulink Coder被用于從Simulink模型生成代碼，該模型在他們的飛行模擬器和系統(tǒng)級硬件在環(huán)測試環(huán)境中使用。

在內(nèi)部完成低層級需求的驗(yàn)證后，巴西航空工業(yè)公司向供應(yīng)商提交了書面需求。供應(yīng)商在執(zhí)行自己的驗(yàn)證后，使用Simulink和Embedded Coder按照 DO-178 級別 A 和其他航空標(biāo)準(zhǔn)進(jìn)行系統(tǒng)實(shí)現(xiàn)。

使用Simulink建模有助于我們團(tuán)隊(duì)的ARP 4754工作，特別是系統(tǒng)級需求的驗(yàn)證、開發(fā)基于需求的測試、定義低層級的軟件需求。我們的供應(yīng)商使用Simulink和Embedded Coder生成DO-178級別A的飛行代碼。

——Rodrigo Fontes Souto, Embraer

Legacy 500 如期獲得了聯(lián)邦航空管理局（FAA）和巴西民用航空管理局的認(rèn)證，飛機(jī)目前正在生產(chǎn)中。

開發(fā)時間縮短至少六個月?！拔覀児烙?jì)，與傳統(tǒng)方法相比，使用 Simulink 建模及仿真讓我們可以提前三個月向供應(yīng)商提交需求?！盨 outo 說，“由于我們提交的需求是成熟的，供應(yīng)商的問題和錯誤更少，又節(jié)省了三個月的開發(fā)時間。”

最小化需求問題導(dǎo)致的延誤。“與傳統(tǒng)的方式進(jìn)行開發(fā)和驗(yàn)證需求的典型相比，我們組產(chǎn)生了兩倍的需求，每項(xiàng)需求的問題少了 50 倍。”產(chǎn)品開發(fā)工程師 Julio Graves 說，“使用基于模型設(shè)計(jì)，與需求相關(guān)的最長延遲是一天，而基于文檔的設(shè)計(jì)最短延遲是兩周。”

實(shí)時測試中重用模型?！拔覀兪褂?Simulink Coder 從用于需求驗(yàn)證的模型中生成代碼，用于實(shí)時測試?！碑a(chǎn)品開發(fā)工程師 Miguel Teruel 說，“我們計(jì)劃再次重用模型，通過使用 Embedded Coder 為不同的系統(tǒng)生成產(chǎn)品代碼的方式加速開發(fā)過程。”