翻譯整理：王方勇

開發(fā)一款物聯(lián)網(wǎng)（IOT）使能產(chǎn)品是一項(xiàng)復(fù)雜的任務(wù)，無論它是有著信息娛樂系統(tǒng)一樣用戶界面的無人駕駛汽車，還是互聯(lián)工廠。物聯(lián)網(wǎng)使能產(chǎn)品含有數(shù)百，甚至上百萬行嵌入式軟件代碼。而很多這些產(chǎn)品（包括控制它們的系統(tǒng)和軟件）是屬于任務(wù)或安全關(guān)鍵性的。因此，開發(fā)人員必須要有信心，這些設(shè)備的控制代碼是百分之百準(zhǔn)確，并按預(yù)定方式進(jìn)行響應(yīng)的。

您可能已經(jīng)了解到，有研究表明，由于系統(tǒng)和控制它們的軟件之間的高度集成與互動(dòng)，物聯(lián)網(wǎng)使能設(shè)備中的安全關(guān)鍵性系統(tǒng)的數(shù)量越來越多。這種趨勢(shì)隨著安全相關(guān)性軟件的功能、容量和復(fù)雜度的增加結(jié)合在一起，導(dǎo)致了系統(tǒng)和軟件的復(fù)雜程度達(dá)到了驚人的水平，很多產(chǎn)品開發(fā)人員發(fā)現(xiàn)，幾乎不可能再采用傳統(tǒng)的手工軟件開發(fā)方法來實(shí)現(xiàn)它們。

我跟很多安全關(guān)鍵性軟件的開發(fā)人員交流過，他們通過轉(zhuǎn)變到基于模型的開發(fā)方法來解決這些難題，其中嵌入式軟件和系統(tǒng)的圖形模型成為了開發(fā)過程中的基石。（我最近舉辦的一場(chǎng)按需提供的網(wǎng)絡(luò)研討會(huì)正是關(guān)于這個(gè)話題）。

通過采用基于模型的方法，工程師可以PC工作站上模擬模型的行為，并立即觀察到結(jié)果，使得可以在系統(tǒng)設(shè)計(jì)過程早期得到關(guān)鍵的信息，從而快速提高模型的性能。工程師們還可以將模型的預(yù)期行為鏈接到特定的客戶需求。最后，模型可用來自動(dòng)生成嵌入式代碼，從而消除了對(duì)手工編碼的依賴。

對(duì)安全相關(guān)標(biāo)準(zhǔn)的符合性，使得安全關(guān)鍵性應(yīng)用的開發(fā)人員，可以證明他們是使用了一致、可審計(jì)的流程來設(shè)計(jì)安全系統(tǒng)。這類應(yīng)用于不同工業(yè)領(lǐng)域的標(biāo)準(zhǔn)有很多，例如航空工業(yè)的DO-178C和汽車行業(yè)的ISO 26262。

通過ANSYS SCADE產(chǎn)品線，您可以了解到所有開發(fā)安全關(guān)鍵性嵌入式軟件所需的功能，這些軟件用于控制包括無人駕駛汽車在內(nèi)的很多極度復(fù)雜的產(chǎn)品。 SCADE的自動(dòng)代碼生成器實(shí)現(xiàn)了廣泛適用于各行業(yè)標(biāo)準(zhǔn)的代碼的自動(dòng)生成。您可以使用SCADE自動(dòng)代碼生成器來大幅降低嵌入式軟件的開發(fā)時(shí)間和成本。SCADE代碼生成器可以作為完整端到端基于模型的系統(tǒng)工程（MBSE）解決方案的一部分，適用于安全相關(guān)系統(tǒng)，這一點(diǎn)可以通過在大量安全關(guān)鍵性系統(tǒng)開發(fā)過程中的應(yīng)用來證明。

現(xiàn)在，來看看Piaggio Aerospace如何在短短七個(gè)月內(nèi)使用ANSYS SCADE將有人駕駛飛機(jī)轉(zhuǎn)換到無人機(jī)！

想了解關(guān)于ANSYS SCADE和自動(dòng)代碼生成器如何減少開發(fā)時(shí)間和成本的更多信息，請(qǐng)參與網(wǎng)絡(luò)研討會(huì)：From Drones to Connected Cars: Safe and Secure Embedded Software Development for IoT Devices 。