汽車(chē)電子與嵌入式系統(tǒng)的案例
嵌入式系統(tǒng) | Ansys SCADE在空客電傳飛控系統(tǒng)中的應(yīng)用
近期推出的嵌入式系統(tǒng)專題內(nèi)容中，我們?cè)敿?xì)梳理了Ansys SCADE的誕生、發(fā)展及應(yīng)用，也針對(duì)“形式化方法”做了進(jìn)一步闡述，詳實(shí)地介紹了在當(dāng)今軟件行業(yè)已有眾多測(cè)試手段下為什么形式化方法尤為重要？本期我們將分享Ansys SCADE在航空電傳飛控系統(tǒng)中的應(yīng)用。全文將從民用飛機(jī)的飛行控制系統(tǒng)、空客的電傳飛控系統(tǒng)、SCADE在空客電傳飛控中的應(yīng)用、空客在研發(fā)選用的工具鏈中對(duì)形式化方法的重視以及案例展現(xiàn)等多個(gè)方面來(lái)闡述基于SCADE的形式化方法在空客電傳飛控中的具體應(yīng)用。在后續(xù)專題內(nèi)容中我們還將推出包括軌道交通、核能重工及航天防衛(wèi)等行業(yè)應(yīng)用案例。
1
飛行控制系統(tǒng)簡(jiǎn)介
飛機(jī)的飛行控制系統(tǒng)(FCS: Flight Control System)就是利用控制原理使得飛機(jī)的操縱面(又稱舵面,surface or rudder)偏轉(zhuǎn)，以實(shí)現(xiàn)對(duì)飛機(jī)的姿態(tài)和航跡運(yùn)動(dòng)進(jìn)行穩(wěn)定控制的系統(tǒng)。飛控系統(tǒng)通常包括
飛行器運(yùn)動(dòng)，包括其重心的線運(yùn)動(dòng)、繞機(jī)體軸的角運(yùn)動(dòng)(升降舵Elevator完成俯仰Pitch，副翼Aileron完成滾轉(zhuǎn)Roll，方向舵Rudder完成偏航Y(jié)aw)，以及飛行器結(jié)構(gòu)模態(tài)的變化;
完成對(duì)飛機(jī)姿態(tài)和航跡運(yùn)動(dòng)的穩(wěn)定和控制所需的所有硬件及軟件
圖表1：飛行控制示意圖
通常認(rèn)為，迄今為止飛控系統(tǒng)共演進(jìn)了四代，分別是簡(jiǎn)單機(jī)械控制系統(tǒng)、液壓助力控制系統(tǒng)、增穩(wěn)控制系統(tǒng)和電傳控制系統(tǒng)。
展開(kāi) 嵌入式系統(tǒng) | Ansys SCADE在軌交列車(chē)控制系統(tǒng)中的應(yīng)用
該項(xiàng)目的目標(biāo)是為歐洲列車(chē)控制系統(tǒng)提供“開(kāi)放的證明”(Open Proof)，證明可以：
將開(kāi)源許可原則應(yīng)用于鐵路安全(ETCS)和鐵路自動(dòng)化應(yīng)用中的關(guān)鍵軟件組件，特別是在車(chē)輛方面，實(shí)現(xiàn)合作伙伴之間的共享發(fā)展，避免運(yùn)營(yíng)商與供應(yīng)商之間的鎖定情況，形成版本開(kāi)放自由軟件服務(wù)生態(tài)系統(tǒng)
提供了一個(gè)平臺(tái)，會(huì)員可以在該平臺(tái)上交流經(jīng)驗(yàn)，并基于開(kāi)源和開(kāi)放創(chuàng)新，共同發(fā)起和實(shí)施列車(chē)控制、列車(chē)自動(dòng)化和鐵路應(yīng)用通用數(shù)字化領(lǐng)域的項(xiàng)目
在所有層面上采用“開(kāi)放標(biāo)準(zhǔn)”，包括硬件和軟件規(guī)范、接口定義、設(shè)計(jì)工具、驗(yàn)證和確認(rèn)程序，以及重要的嵌入式控制軟件。通過(guò)應(yīng)用這些技術(shù)和相關(guān)的業(yè)務(wù)概念，力求將最終車(chē)載產(chǎn)品的成本大幅降低，甚至低于傳統(tǒng)的高性能信號(hào)系統(tǒng)
形成一個(gè)涵蓋建模、設(shè)計(jì)、驗(yàn)證和測(cè)試的集成框架，以利用ETCS的成本效益和可靠性實(shí)現(xiàn)
該框架將在ETCS軟件的整個(gè)開(kāi)發(fā)過(guò)程中提供一個(gè)完整的工具鏈。
- 工具鏈將支持ETCS系統(tǒng)需求的
形式化規(guī)范和驗(yàn)證
- 符合ETCS的
代碼自動(dòng)生成和驗(yàn)證
-
基于模型的測(cè)試用例生成和執(zhí)行
采用形式化方法，以克服現(xiàn)有互操作性問(wèn)題，將繁瑣沉重的驗(yàn)證和確認(rèn)活動(dòng)從軌道現(xiàn)場(chǎng)轉(zhuǎn)移到實(shí)驗(yàn)室，加速ERTM的遷移和ERTM部署計(jì)劃，節(jié)省寶貴的資源。
展開(kāi) 嵌入式系統(tǒng)的軟件架構(gòu)設(shè)計(jì)！
前言
嵌入式是軟件設(shè)計(jì)領(lǐng)域的一個(gè)分支，它自身的諸多特點(diǎn)決定了系統(tǒng)架構(gòu)師的選擇，同時(shí)它的一些問(wèn)題又具有相當(dāng)?shù)耐ㄓ眯裕梢酝茝V到其他的領(lǐng)域。
提起嵌入式軟件設(shè)計(jì)，傳統(tǒng)的印象是單片機(jī)，匯編，高度依賴硬件。傳統(tǒng)的嵌入式軟件開(kāi)發(fā)者往往只關(guān)注實(shí)現(xiàn)功能本身，而忽視諸如代碼復(fù)用，數(shù)據(jù)和界面分離，可測(cè)試性等因素。從而導(dǎo)致嵌入式軟件的質(zhì)量高度依賴開(kāi)發(fā)者的水平，成敗系之一身。
隨著嵌入式軟硬件的飛速發(fā)展，今天的嵌入式系統(tǒng)在功能，規(guī)模和復(fù)雜度各方面都有了極大的提升。比如，Marvell公司的PXA3xx系列的最高主頻已經(jīng)達(dá)到800Mhz，內(nèi)建USB,WIFI,2D圖形加速,32位DDR內(nèi)存。
在硬件上，今天的嵌入式系統(tǒng)已經(jīng)達(dá)到甚至超過(guò)了數(shù)年前的PC平臺(tái)。在軟件方面，完善的操作系統(tǒng)已經(jīng)成熟，比如Symbian, Linux, WinCE。
基于完善的操作系統(tǒng)，諸如字處理，圖像，視頻，音頻，游戲，網(wǎng)頁(yè)瀏覽等各種應(yīng)用程序?qū)映霾桓F，其功能性和復(fù)雜度比諸PC軟件不遑多讓。原來(lái)多選用專用硬件和專用系統(tǒng)的一些商業(yè)設(shè)備公司也開(kāi)始轉(zhuǎn)換思路，以出色而廉價(jià)的硬件和完善的操作系統(tǒng)為基礎(chǔ)，用軟件的方式代替以前使用專有硬件實(shí)現(xiàn)的功能，從而實(shí)現(xiàn)更低的成本和更高的可變更，可維護(hù)性。
2.決定架構(gòu)的因素和架構(gòu)的影響
架構(gòu)不是一個(gè)孤立的技術(shù)的產(chǎn)物，它受多方面因素的影響。同時(shí)，一個(gè)架構(gòu)又對(duì)軟件開(kāi)發(fā)的諸多方面造成影響。
下面舉一個(gè)具體的例子。
摩托車(chē)的發(fā)動(dòng)機(jī)在出廠前必須通過(guò)一系列的測(cè)試。在流水線上，發(fā)動(dòng)機(jī)被送到每個(gè)工位上，由工人進(jìn)行諸如轉(zhuǎn)速，噪音，振動(dòng)等方面的測(cè)試。要求實(shí)現(xiàn)一個(gè)嵌入式設(shè)備，具備以下基本功能:
安裝在工位上，工人上班前開(kāi)啟并登錄。
通過(guò)傳感器自動(dòng)采集測(cè)試數(shù)據(jù)，并顯示在屏幕上。
展開(kāi) 嵌入式系統(tǒng) | 基于SCADE Suite模型的驗(yàn)證
本文作為#嵌入式系統(tǒng)Ansys SCADE系列專題內(nèi)容，此次將主要介紹『基于SCADE Suite模型的驗(yàn)證』，第一部分是關(guān)于驗(yàn)證手段的介紹，其中包含Ansys SCADE Suite支持的驗(yàn)證工具介紹；第二部分是介紹如何使用SCADE認(rèn)證級(jí)測(cè)試環(huán)境；第三至第七部分是其他驗(yàn)證手段的介紹。
1
基于SCADE Suite模型的驗(yàn)證
1.1 不含模型的傳統(tǒng)驗(yàn)證手段
《安全關(guān)鍵軟件開(kāi)發(fā)與審定—DO-178C標(biāo)準(zhǔn)實(shí)踐指南》書(shū)中指出：驗(yàn)證，是應(yīng)用于整個(gè)軟件生命周期的一個(gè)整體性過(guò)程。在DO-178C中的驗(yàn)證，是包括評(píng)審、分析和測(cè)試的一個(gè)組合。評(píng)審是提供一個(gè)定性的評(píng)估；分析是提供正確性的可重復(fù)的證據(jù)；測(cè)試是運(yùn)行一個(gè)系統(tǒng)或系統(tǒng)部件，以驗(yàn)證它滿足指定的需求并檢測(cè)其錯(cuò)誤。
1.2 新增模型后的驗(yàn)證手段：模型仿真
《基于模型的開(kāi)發(fā)和驗(yàn)證標(biāo)準(zhǔn)—DO-331》中指出使用基于模型的開(kāi)發(fā)和驗(yàn)證(MBDV)后，就在傳統(tǒng)驗(yàn)證手段基礎(chǔ)上增加了模型仿真。
展開(kāi) 
嵌入式系統(tǒng) | 基于SCADE Display模型的驗(yàn)證
視頻2: 基于SCADE Display模型的交互式仿真
1.4 生成獨(dú)立可執(zhí)行程序
如果用戶在SCADE Display模型中已經(jīng)嵌入了控制邏輯代碼(可以是手寫(xiě)編碼，也可以是SCADE Suite設(shè)計(jì)，或是兩者的混合)，則可以使用SCADE Display提供的Standalone功能一鍵編譯生成獨(dú)立可執(zhí)行程序，獨(dú)立可執(zhí)行程序包括基于Windows操作系統(tǒng)和基于Android操作系統(tǒng)兩個(gè)方式。不過(guò)，生成基于Android操作系統(tǒng)的獨(dú)立可執(zhí)行程序，需要預(yù)先安裝Android Studio IDE, Android Software Development Kit (SDK)和Android Native Development Kit (NDK)三款軟件包。
展開(kāi) 嵌入式系統(tǒng) | 基于SCADE Suite模型的驗(yàn)證
本文作為#嵌入式系統(tǒng)Ansys SCADE系列專題內(nèi)容，此次將主要介紹『基于SCADE Suite模型的驗(yàn)證』，第一部分是關(guān)于驗(yàn)證手段的介紹，其中包含Ansys SCADE Suite支持的驗(yàn)證工具介紹；第二部分是介紹如何使用SCADE認(rèn)證級(jí)測(cè)試環(huán)境；第三至第七部分是其他驗(yàn)證手段的介紹。
1
基于SCADE Suite模型的驗(yàn)證
1.1 不含模型的傳統(tǒng)驗(yàn)證手段
《安全關(guān)鍵軟件開(kāi)發(fā)與審定—DO-178C標(biāo)準(zhǔn)實(shí)踐指南》書(shū)中指出：驗(yàn)證，是應(yīng)用于整個(gè)軟件生命周期的一個(gè)整體性過(guò)程。在DO-178C中的驗(yàn)證，是包括評(píng)審、分析和測(cè)試的一個(gè)組合。評(píng)審是提供一個(gè)定性的評(píng)估；分析是提供正確性的可重復(fù)的證據(jù)；測(cè)試是運(yùn)行一個(gè)系統(tǒng)或系統(tǒng)部件，以驗(yàn)證它滿足指定的需求并檢測(cè)其錯(cuò)誤。
展開(kāi) 干貨：嵌入式系統(tǒng)設(shè)計(jì)開(kāi)發(fā)大全！
如果一個(gè)嵌入式系統(tǒng)只是作為一個(gè)連接器連接外圍設(shè)備模塊，通過(guò)相關(guān)接口連接到電腦主機(jī)或者直接掛在網(wǎng)絡(luò)上，那么屏幕就不需要了。但是如果做出來(lái)的是一個(gè)消費(fèi)類產(chǎn)品，與用戶交互頻繁，這就不得不嘮叨幾句。
電容屏幕是嵌入式屏幕的首選，在電路設(shè)計(jì)中需要注意觸屏連接線和顯示屏連接線的布局。在走線的過(guò)程中盡量短的靠近主控cpu，同時(shí)注意配對(duì)信號(hào)走差分線，RGB控制信號(hào)走等長(zhǎng)。各種信號(hào)走線間距遵循3W規(guī)則，避免相互干擾。在屏幕的設(shè)計(jì)中，一定要確保功率和防止干擾，以防屏幕閃屏和花屏現(xiàn)象的出現(xiàn)。
06
嵌入式產(chǎn)品開(kāi)發(fā)流程
嵌入式產(chǎn)品，與普通電子產(chǎn)品一樣，開(kāi)發(fā)過(guò)程都需要遵循一些基本的流程，都是一個(gè)從需求分析到總體設(shè)計(jì)，詳細(xì)設(shè)計(jì)到最后產(chǎn)品完成的過(guò)程。但是，與普通電子產(chǎn)品相比，嵌入式產(chǎn)品的開(kāi)發(fā)流程又有其特殊之處。它包含嵌入式軟件和嵌入式硬件兩大部分，針對(duì)嵌入式硬件和軟件的開(kāi)發(fā)，在普通的電子產(chǎn)品開(kāi)發(fā)過(guò)程中，是不需要涉及的。21ic家了解到嵌入式產(chǎn)品的研發(fā)流程具體如下圖：
下面，針對(duì)嵌入式產(chǎn)品的開(kāi)發(fā)過(guò)程中的各個(gè)階段，我們進(jìn)行詳細(xì)探討。
階段1：產(chǎn)品需求
在這一個(gè)階段，我們需要弄清楚的是產(chǎn)品的需求從何而來(lái)，一個(gè)成功的產(chǎn)品，我們需要滿足哪些需求。只有需求明確了，我們的產(chǎn)品開(kāi)發(fā)目標(biāo)才能明確。
展開(kāi) Ansys電磁和嵌入式系統(tǒng)
ANSYS仿真軟件可為解決天線和雷達(dá)開(kāi)發(fā)、EMI-EMC預(yù)測(cè)、信號(hào)完整性、芯片封裝系統(tǒng)設(shè)計(jì)和電子產(chǎn)品冷卻等復(fù)雜任務(wù)提供高保真工具，使汽車(chē)行業(yè)能夠應(yīng)對(duì)這些挑戰(zhàn)。ANSYS的工具正在掀起一場(chǎng)控制器軟件開(kāi)發(fā)革命，利用高速運(yùn)行的、基于模型的高保真系統(tǒng)工程解決方案，為控制器軟件驗(yàn)證創(chuàng)建模型。其嵌入式代碼自動(dòng)生成工具已通過(guò)認(rèn)證，無(wú)需再進(jìn)行控制器軟件驗(yàn)證。
嵌入式系統(tǒng) | 基于SCADE Display模型的驗(yàn)證
圖表8 SCADE Display代碼生成器進(jìn)行模型規(guī)則檢查
1.2 模型非交互式仿真
如果用戶使用SCADE Display設(shè)計(jì)的是非交互式的人機(jī)界面，則可以使用提供的Animation功能進(jìn)行模型仿真，觀察圖像隨著輸入?yún)?shù)的變化而變化。
視頻1: 基于SCADE Display模型的非交互式仿真
1.3 模型交互式仿真
如果用戶使用SCADE Display設(shè)計(jì)的是交互式的人機(jī)界面，則可以使用提供的Simulation功能進(jìn)行模型仿真，觀察圖像隨著輸入、輸出參數(shù)的變化而變化。值得一提的是，該仿真器還可以自動(dòng)捕捉鼠標(biāo)、鍵盤(pán)兩個(gè)外設(shè)的信息，進(jìn)行交互式仿真。
視頻2: 基于SCADE Display模型的交互式仿真
1.4 生成獨(dú)立可執(zhí)行程序
如果用戶在SCADE Display模型中已經(jīng)嵌入了控制邏輯代碼(可以是手寫(xiě)編碼，也可以是SCADE Suite設(shè)計(jì)，或是兩者的混合)，則可以使用SCADE Display提供的Standalone功能一鍵編譯生成獨(dú)立可執(zhí)行程序，獨(dú)立可執(zhí)行程序包括基于Windows操作系統(tǒng)和基于Android操作系統(tǒng)兩個(gè)方式。
展開(kāi) 嵌入式系統(tǒng)詞匯表
一個(gè)連接處理器與所有外設(shè)的，用來(lái)通訊的電子線路集。地址總線被處理器用來(lái)選擇在特定外設(shè)中的存儲(chǔ)器地址或寄存器。如果地址總線有n條電子線路，處理器能唯一尋址高達(dá)2^n的地址空間。
application software（應(yīng)用軟件） Describes software modules specific to a particular embedded project. Theapplication software is unlikely to be reusable across embedded platforms, simplybecause each embedded system has a different application. 用來(lái)描述一個(gè)特定的嵌入式項(xiàng)目中的某一軟件模塊。應(yīng)用軟件不象可重用的交叉嵌入式平臺(tái)，只是因?yàn)槊恳粋€(gè)嵌入式系統(tǒng)有不同的應(yīng)用軟件。
assembler（匯編編譯器） A software development tool that translates human-readable assembly languageprograms into machine-language instructions that the processor can understandand execute. 一個(gè)能把人可讀的匯編語(yǔ)言程序轉(zhuǎn)換到處理器可理解和運(yùn)行的機(jī)器指令的軟件開(kāi)發(fā)工具。
assembly language（匯編語(yǔ)言） A human-readable form of a processor"s instruction set. Most processor-specific functions must be written in assembly language. 一種人可讀的處理器指令集的形式。
展開(kāi) 嵌入式噪聲分析儀系統(tǒng)設(shè)計(jì)及算法研究
傳統(tǒng)噪聲測(cè)量設(shè)備聲級(jí)計(jì)只能獲得聲壓級(jí)等單一數(shù)據(jù)，無(wú)法對(duì)噪聲成分進(jìn)行分析，本文提出的嵌入式噪聲分析系統(tǒng)把對(duì)噪聲的分析從時(shí)域擴(kuò)展到頻域中，并具備了數(shù)字化程度高、實(shí)時(shí)性強(qiáng)和功耗低等特點(diǎn)
嵌入式噪聲分析儀系統(tǒng)設(shè)計(jì)及算法研究.pdf
AUTOSAR Builder—符合AUTOSAR（CP/AP）的嵌入式系統(tǒng)設(shè)計(jì)工具
AUTOSAR Builder是達(dá)索旗下一款基于Eclipse的開(kāi)放、可擴(kuò)展工具套件，用于設(shè)計(jì)和開(kāi)發(fā)符合AUTOSAR標(biāo)準(zhǔn)的系統(tǒng)和軟件。新版本2022x支持AUTOSAR Release R20-11，并且Adaptive code generators 已升級(jí)支持AUTOSAR Adaptive R20-11。
嵌入式系統(tǒng) | 基于SCADE模型的形式化方法
在上期嵌入式系統(tǒng)專題內(nèi)容中，針對(duì)Ansys SCADE的誕生、發(fā)展及應(yīng)用做了詳細(xì)梳理（詳見(jiàn)：嵌入式系統(tǒng) | 細(xì)數(shù)Ansys SCADE的前世今生）。本文將重點(diǎn)闡述“基于SCADE模型的形式化方法”，做個(gè)通俗的比喻，形式化方法就是將程序抽象為一個(gè)數(shù)學(xué)公式，然后用嚴(yán)密的數(shù)學(xué)推理來(lái)證實(shí)或證偽該公式。在當(dāng)下軟件行業(yè)已經(jīng)有眾多測(cè)試手段的前提下，為什么還需要形式化方法呢？
1972年的圖靈獎(jiǎng)得主Edsger Wybe Dijkstra說(shuō)道：“Program testing can be used to show the presence of bugs, but never to show their absence! ”，即測(cè)試只能表明程序中存在錯(cuò)誤，而不能表明程序中沒(méi)有錯(cuò)誤。除非對(duì)程序進(jìn)行的測(cè)試能夠窮盡所有可能的場(chǎng)景，否則傳統(tǒng)的測(cè)試手段無(wú)法完全保證系統(tǒng)的安全可靠?？梢哉f(shuō)，唯有形式化方法才能從根本上確保系統(tǒng)的安全可靠，而這一點(diǎn)在安全關(guān)鍵的系統(tǒng)中尤為重要。
1960年代，霍爾邏輯 (Hoare Logic) 是第一個(gè)關(guān)于形式化方法的學(xué)說(shuō)，從那時(shí)起的很長(zhǎng)時(shí)間，形式化方法主要應(yīng)用于學(xué)術(shù)界，后來(lái)再慢慢地拓展到了工業(yè)應(yīng)用的硬件領(lǐng)域?？陀^地說(shuō)，形式化方法在電子硬件世界中有更多的成功應(yīng)用——主要是因?yàn)橛布ぞ吒鼧?biāo)準(zhǔn)化和穩(wěn)定，而軟件領(lǐng)域還未達(dá)到那樣的程度。軟件領(lǐng)域的系統(tǒng)設(shè)計(jì)、高層需求對(duì)應(yīng)的模型，可能因?yàn)椴痪邆渥銐虻募?xì)節(jié)，無(wú)法對(duì)一些屬性進(jìn)行有意義的分析，形式化方法的應(yīng)用效果、實(shí)用價(jià)值一般。目前，形式化方法在詳細(xì)設(shè)計(jì)層面（Low-level requirement），對(duì)于軟件行為等模型較為適用。
展開(kāi) AUTOSAR Builder—符合AUTOSAR（CPAP）的嵌入式系統(tǒng)設(shè)計(jì)工具
AUTOSAR Builder工具套件主要包括：
Authoring Environment—AUTOSAR開(kāi)發(fā)工具主要用于軟件建模和網(wǎng)絡(luò)設(shè)計(jì)
ECU Extractor—用于在系統(tǒng)設(shè)計(jì)完成后導(dǎo)出ECU級(jí)別的ECU Extract文件
ECU Environment—用于ECU配置以及BSW代碼生成
Rte Generator—用于生成Rte代碼
Asim—用于AUTOSAR仿真驗(yàn)證，包含VFB級(jí)別以及ECU和網(wǎng)絡(luò)級(jí)別
Adaptive Environment—支持Machine Manifest Definition/ECU Integration/System Description等研發(fā)工作
Classic Platform AUTOSAR支持
支持Application Software Development/System Design/Basic Software Configuration/System Integration等研發(fā)工作
支持多種數(shù)據(jù)格式文件的導(dǎo)入/導(dǎo)出功能，包括不同的AUTOSAR版本、Simulink模型、ODX、LDF、DBC、Fibex、Ethernet Arxml等
支持符合AUTOSAR的軟件架構(gòu)設(shè)計(jì)（VFC設(shè)計(jì)、PNC，包括RTE Contract phase和SW-C Template Generation等）
支持車(chē)載網(wǎng)絡(luò)拓?fù)湓O(shè)計(jì)、網(wǎng)絡(luò)通信設(shè)計(jì)（CAN/LIN/FlexRay/Etherent）、電氣架構(gòu)設(shè)計(jì)（ECU硬件結(jié)構(gòu)）等
支持導(dǎo)入DBC等通信矩陣描述文件后自動(dòng)生成對(duì)應(yīng)ECU Instance 的軟件架構(gòu)
支持System Extract & ECU Extract導(dǎo)入導(dǎo)出
支持軟件架構(gòu)到
展開(kāi) 適用于關(guān)鍵嵌入式軟件系統(tǒng)的仿真解決方案
適用于關(guān)鍵嵌入式軟件系統(tǒng)的仿真解決方案
http://www.ansys.com/zh-CN/products/embedded-software
嵌入式軟件
嵌入式系統(tǒng)與軟件開(kāi)發(fā)
嵌入式軟件越來(lái)越普遍地用于智能設(shè)備，但不完美的代碼可能會(huì)導(dǎo)致眾多產(chǎn)品故障。據(jù)業(yè)界領(lǐng)導(dǎo)者預(yù)計(jì)，每 1,000 行嵌入式軟件代碼包含 8 個(gè)漏洞。為了管理這一質(zhì)量風(fēng)險(xiǎn)，以及達(dá)到更高的軟件認(rèn)證標(biāo)準(zhǔn)，您需要充分利用嵌入式軟件開(kāi)發(fā)工具和認(rèn)證代碼生成器。
ANSYS 提供基于模型的嵌入式軟件開(kāi)發(fā)和仿真環(huán)境，環(huán)境內(nèi)置自動(dòng)代碼生成器，以加快嵌入式軟件開(kāi)發(fā)項(xiàng)目的速度。系統(tǒng)和軟件工程師利用 ANSYS SCADE 解決方案生動(dòng)地設(shè)計(jì)、驗(yàn)證并自動(dòng)生成高可靠性要求的關(guān)鍵系統(tǒng)和軟件應(yīng)用。SCADE 解決方案具有較高的可互操作性，并且能夠輕松集成，從而實(shí)現(xiàn)開(kāi)發(fā)優(yōu)化并加強(qiáng)各團(tuán)隊(duì)成員之間的溝通。
展開(kāi) 