嵌入式系統(tǒng)設(shè)計(jì)的案例
干貨：嵌入式系統(tǒng)設(shè)計(jì)開(kāi)發(fā)大全！
第3層次設(shè)計(jì)方法對(duì)一般具體應(yīng)用人員來(lái)說(shuō)，只能用來(lái)設(shè)計(jì)簡(jiǎn)單的單片系統(tǒng)。而復(fù)雜的單片系統(tǒng)則是某些大的半導(dǎo)體廠商才能設(shè)計(jì)和實(shí)現(xiàn)的，并且用這種方法實(shí)現(xiàn)的單片系統(tǒng)，只可能是那些廣泛使用、具有一定規(guī)模的應(yīng)用系統(tǒng)才值得投入研制。還有些應(yīng)用系統(tǒng)，因?yàn)榧夹g(shù)問(wèn)題或商業(yè)價(jià)值問(wèn)題并不適宜用單片實(shí)現(xiàn)。當(dāng)它們以商品形式推出相應(yīng)單片系統(tǒng)后，應(yīng)用人員只要會(huì)選用即可。
所以，3個(gè)層次的設(shè)計(jì)方法會(huì)并存，并不會(huì)簡(jiǎn)單地用后者取代前者。初級(jí)應(yīng)用設(shè)計(jì)人員會(huì)以第1種方法為主；富有經(jīng)驗(yàn)的設(shè)計(jì)人員會(huì)以第2種方法為主；很專業(yè)的設(shè)計(jì)人員會(huì)用第3種方法進(jìn)行簡(jiǎn)單單片系統(tǒng)的設(shè)計(jì)和應(yīng)用。但所有的設(shè)計(jì)人員都可以應(yīng)用半導(dǎo)體大廠商推出的用第3種方法設(shè)計(jì)的專用單片系統(tǒng)。
04
嵌入式硬件系統(tǒng)設(shè)計(jì)
嵌入式設(shè)計(jì)是個(gè)龐大的工程，在軟件方面嵌入式ARM已經(jīng)有了多次介紹，具體可以觀看《
深度：嵌入式系統(tǒng)的軟件架構(gòu)設(shè)計(jì)！》一文。在硬件電路設(shè)計(jì)方面，21ic家了解到有幾個(gè)注意事項(xiàng)，首先，咱們了解下嵌入式的硬件構(gòu)架。
我們知道，CPU是這個(gè)系統(tǒng)的靈魂，所有的外圍配置都與其相關(guān)聯(lián)，這也突出了嵌入式設(shè)計(jì)的一個(gè)特點(diǎn)硬件可剪裁。在做嵌入式硬件設(shè)計(jì)中，以下幾點(diǎn)需要關(guān)注。
展開(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
嵌入式系統(tǒng) | 細(xì)數(shù)Ansys SCADE的前世今生
不久該實(shí)驗(yàn)室推出了基于SysML語(yǔ)言的架構(gòu)設(shè)計(jì)工具，并定義品牌名為SCADE System，后又更名為SCADE Architect。區(qū)別于傳統(tǒng)基于SysML的架構(gòu)設(shè)計(jì)工具，SCADE Architect支持在SysML的基礎(chǔ)進(jìn)行封裝定制，擴(kuò)展出了符合ARP 4754A流程的航空嵌入式系統(tǒng)設(shè)計(jì)解決方案 (支持導(dǎo)出符合ARINC 429,ARINC 664，ARINC 653等協(xié)議的ICD；支持基于AADL 2.2版本對(duì)航電非功能屬性進(jìn)行建模、實(shí)現(xiàn)虛擬系統(tǒng)的集成；支持FACE: Future Airborne Capability Environment架構(gòu)(最高3.0版本))、擴(kuò)展出了符合ISO 26262流程的汽車嵌入式系統(tǒng)設(shè)計(jì)解決方案(支持AUTOSAR標(biāo)準(zhǔn))。
同年，為了專注于安全關(guān)鍵系統(tǒng)領(lǐng)域的業(yè)務(wù)，愛(ài)斯特爾技術(shù)公司將研制多年的旨在簡(jiǎn)化電子系統(tǒng)級(jí)(ESL)設(shè)計(jì)和系統(tǒng)級(jí)芯片(SoC)設(shè)計(jì)的EDA工具Esterel Studio 出售給了Synfora公司。而2010年，Synopsys公司又收購(gòu)了Synfora公司。盡管如此，SCADE依然可以通過(guò)定制與部分硬件設(shè)計(jì)語(yǔ)言進(jìn)行橋接或轉(zhuǎn)換。
2011年愛(ài)斯特爾技術(shù)公司推出SCADE Lifecycle產(chǎn)品，用于幫助系統(tǒng)和軟件開(kāi)發(fā)人員進(jìn)行產(chǎn)品的全生命周期管理。
2012年愛(ài)斯特爾技術(shù)公司推出SCADE ARINC 661解決方案，可用于符合ARINC 661標(biāo)準(zhǔn)的交互式座艙顯示系統(tǒng)的設(shè)計(jì)。SCADE ARINC 661是業(yè)內(nèi)唯一的、以基于模型的方式完全實(shí)現(xiàn)ARINC 661標(biāo)準(zhǔn)版本4和版本5中定義的所有控件 (Widget)的解決方案。當(dāng)前兼容支持的最高版本為ARINC 661版本6(含93個(gè)Widget，15個(gè)Extension) 。
展開(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è)具體的例子。
摩托車的發(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) 
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。
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等）
支持車載網(wǎng)絡(luò)拓?fù)?em>設(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) 符合AUTOSAR（AP&CP）的嵌入式系統(tǒng)和軟件設(shè)計(jì)工具
AUTOSAR Builder功能介紹
AUTOSAR Builder 是達(dá)索旗下一種基于 Eclipse 的開(kāi)放性、可擴(kuò)展工具套件，用于設(shè)計(jì)和開(kāi)發(fā)符合 AUTOSAR 標(biāo)準(zhǔn)的系統(tǒng)和軟件。2020x版本支持AUTOSAR Classic 4.4.0及AUTOSAR Adaptive R19-03。
圖 1-AUTOSAR Builder工具主界面
從功能層面講，AUTOSAR Builder為AUTOSAR系統(tǒng)開(kāi)發(fā)提供快速、自動(dòng)化的建模和仿真的手段。
? AUTOSAR Authoring Tool(AAT)-支撐AUTOSAR系統(tǒng)研發(fā)
? 對(duì)Classic Platform AUTOSAR，支持application software development/system design/basic software configuration/system integration等研發(fā)工作。
展開(kāi) 基于嵌入式系統(tǒng)可調(diào)節(jié)輸出電壓的高效電源設(shè)計(jì)
該項(xiàng)目的目標(biāo)是設(shè)計(jì)一個(gè)高效電源系統(tǒng)，其輸出電壓（VOUT）可以數(shù)字調(diào)節(jié)。為了保證輸出電壓的精確性，采用數(shù)字閉環(huán)控制，用于修正失調(diào)、漂移和負(fù)載變化（最大至600mA）的影響。電路包括輸出可調(diào)的降壓型控制器、ADC與DAC、電壓基準(zhǔn)以及一個(gè)微控制器（MCU）。
在大多數(shù)DC-DC轉(zhuǎn)換器中，位于FB引腳上的電阻網(wǎng)絡(luò)可調(diào)整轉(zhuǎn)換器的輸出電壓（見(jiàn)圖1）。在本文電路中，利用DAC輸出電壓（VDAC）改變電阻網(wǎng)路的基準(zhǔn)電壓，達(dá)到調(diào)整轉(zhuǎn)換器輸出（VOUT）的目的。ADC檢測(cè)輸出電壓，并將結(jié)果送入微處理器。微處理器調(diào)整DAC輸出，以控制系統(tǒng)輸出電壓達(dá)到預(yù)定值。為使電路盡可能簡(jiǎn)單，預(yù)設(shè)輸出電壓通過(guò)PC的串行通信口（RS-232）送入微處理器。這個(gè)系統(tǒng)在一些需要精確控制供電電壓的嵌入式系統(tǒng)中非常有用。例如為ASIC、DSP或者M(jìn)CU供電的電源，電源電壓對(duì)應(yīng)于處理器的工作速率。將供電電壓調(diào)整到工作速率對(duì)應(yīng)的最小電壓，可以降低處理器功耗。
電路所需器件和開(kāi)發(fā)工具
系統(tǒng)的主電源選擇低靜態(tài)電流、輸出1.25V～5.5V可調(diào)的降壓型調(diào)節(jié)器MAX1692，它可以提供最大600mA的電流。MAX1692評(píng)估板提供了一個(gè)經(jīng)過(guò)驗(yàn)證的電路布局和推薦輸入電容、輸出電容和電感量。MAX1692反饋引腳電阻網(wǎng)絡(luò)的偏置由低功耗、12位DAC提供，MAX5302可以提供2.5mA的負(fù)載驅(qū)動(dòng)。DAC基準(zhǔn)電壓為2.5V。電壓調(diào)節(jié)器輸出電壓由低功耗、12位ADC（MAX1286）讀取， MAX1286能自動(dòng)關(guān)斷，可以在轉(zhuǎn)換之間減少電源消耗。ADC基準(zhǔn)由高精度5V電壓基準(zhǔn)MAX6126 提供。ADC和DAC均采用SPI口通信。高精度電壓基準(zhǔn)包括輸出檢測(cè)和地檢測(cè)引腳，將其連接到ADC的基準(zhǔn)和地引腳。這樣可以保證ADC具有最高準(zhǔn)度的基準(zhǔn)電壓。
展開(kāi) 經(jīng)驗(yàn)之談：嵌入式如何進(jìn)行架構(gòu)設(shè)計(jì)？
本文來(lái)自：IOT物聯(lián)網(wǎng)小鎮(zhèn)
【我對(duì)架構(gòu)設(shè)計(jì)的理解】
1.架構(gòu)設(shè)計(jì)概念的認(rèn)識(shí)
相信看這篇文章的同學(xué)，大部分都是從事嵌入式開(kāi)發(fā)的，大家也肯定有這么一個(gè)印象：在招聘網(wǎng)站上的一些架構(gòu)設(shè)計(jì)的崗位，都是針對(duì) Web 方向的，卻很少看到招聘嵌入式崗位的系統(tǒng)架構(gòu)師的崗位。
我的理解是大概有下面2個(gè)原因：
(1) Web開(kāi)發(fā)：百家爭(zhēng)鳴，沒(méi)有統(tǒng)一的標(biāo)準(zhǔn)和老大
這些年得益于移動(dòng)互聯(lián)網(wǎng)的發(fā)展，前、后端開(kāi)發(fā)崗位的需求量大增，而且各種框架層出不窮。
如何利用這些框架來(lái)為用戶提供高性能的服務(wù)并沒(méi)有一個(gè)統(tǒng)一的標(biāo)準(zhǔn)，于是百家爭(zhēng)鳴，相應(yīng)的設(shè)計(jì)師崗位也就層出不窮。
(2) 嵌入式開(kāi)發(fā)：Linux 舍我其誰(shuí)
在嵌入式系統(tǒng)的開(kāi)發(fā)中，在操作系統(tǒng)的選擇上幾乎沒(méi)有太大的余地，大部分是 ARM+Linux 組合。
在 Linux 操作系統(tǒng)層面：那些大神們已經(jīng)把內(nèi)核和驅(qū)動(dòng)層設(shè)計(jì)的很完美了，很少需要開(kāi)發(fā)人員做大量的修改。
在應(yīng)用程序?qū)用妫洪_(kāi)發(fā)人員如果沒(méi)有什么追求，只為了實(shí)現(xiàn)規(guī)格書(shū)中定義的功能即可。
而老板呢，也只是重視產(chǎn)品功能是否能正常實(shí)現(xiàn)，至于什么可移植、可擴(kuò)展、執(zhí)行效率等等，不會(huì)想到這個(gè)層面。
即使產(chǎn)品需要更新?lián)Q代，讓開(kāi)發(fā)人員重新實(shí)現(xiàn)即可，反正只需要功能OK就行。
2.嵌入式系統(tǒng)的架構(gòu)設(shè)計(jì)重要性
說(shuō)一個(gè)小故事。
有一位同事為客戶寫(xiě)一個(gè)單片機(jī)產(chǎn)品的程序，后來(lái)同事離職后把代碼移交給我。
這個(gè)產(chǎn)品有一個(gè)小功能需要修改一下，恰巧那會(huì)我正在處理另外一個(gè)項(xiàng)目，于是在征得老板許可的情況下把源代碼發(fā)給客戶，請(qǐng)他們自己修改。
展開(kāi) 嵌入式系統(tǒng) | Ansys SCADE在空客電傳飛控系統(tǒng)中的應(yīng)用
采用電傳控制技術(shù)的飛機(jī)有幾大優(yōu)勢(shì)：
相比傳統(tǒng)的機(jī)械控制系統(tǒng)的飛機(jī)有著更輕的重量，這是因?yàn)殡妭黠w控省去了機(jī)械傳動(dòng)控制系統(tǒng)中的大量復(fù)雜、冗余的機(jī)械設(shè)備，減輕了系統(tǒng)部件的總重量，解放了飛機(jī)的內(nèi)部空間；
電傳飛控的引入意味著飛機(jī)可以采用打破傳統(tǒng)氣動(dòng)布局的靜不穩(wěn)定設(shè)計(jì)，使得飛機(jī)結(jié)構(gòu)內(nèi)部那些起著控制飛行穩(wěn)定性的部分零件省去或者減小比重，例如減小機(jī)尾的水平穩(wěn)定面與垂直穩(wěn)定面，減負(fù)后的飛機(jī)在航程與載重上都會(huì)有所提高，這對(duì)于特別考慮經(jīng)濟(jì)成本的民航而言有著重要的意義;
使用了新一代飛控技術(shù)的民航客機(jī)極大增加了飛機(jī)的安全性，電傳技術(shù)的引入使得飛行員可以實(shí)現(xiàn)對(duì)飛機(jī)飛行姿態(tài)的微調(diào)，簡(jiǎn)化操縱流程，提高駕駛精度，有效地預(yù)防飛行員過(guò)載、飛機(jī)失速等隱患。
電傳飛控系統(tǒng)分為模擬式和數(shù)字式兩種。前者使用模擬信號(hào)，后者使用數(shù)字信號(hào)，使用數(shù)字信號(hào)可以實(shí)現(xiàn)更多的狀態(tài)，使得飛行控制變得更加精細(xì)。而模擬式則只能根據(jù)相位，頻率，幅度的不同組合給出有限的幾個(gè)狀態(tài)來(lái)。
英國(guó)BAE和法國(guó)Aérospatiale 聯(lián)合設(shè)計(jì)的協(xié)和(Concorde)超音速客機(jī)是第一代應(yīng)用電傳飛控技術(shù)的飛機(jī)，不過(guò)該飛控系統(tǒng)是模擬式的。第一代數(shù)字式電傳飛控系統(tǒng)出現(xiàn)在1980年初的空客A310上，該系統(tǒng)主要控制了縫翼、襟翼和擾流板幾個(gè)操縱面。1988年通過(guò)適航認(rèn)證投入使用的A320使用了第二代電傳飛控技術(shù)，它可將高級(jí)控制律應(yīng)用到所有的操縱面。
空客A320是世界上首個(gè)采用電傳飛控與靜不穩(wěn)定設(shè)計(jì)的民航客機(jī)。除此之外，A320還是業(yè)界首創(chuàng)使用側(cè)桿駕駛的民航客機(jī)。相對(duì)于傳統(tǒng)的中央操作盤，電傳側(cè)桿具有獨(dú)特的優(yōu)勢(shì)。首先，電傳側(cè)桿控制系統(tǒng)結(jié)構(gòu)精簡(jiǎn)，重量輕，易于裝配和拆卸，維護(hù)成本明顯降低。
展開(kāi) 嵌入式系統(tǒng) | Ansys SCADE在軌交列車控制系統(tǒng)中的應(yīng)用
該項(xiàng)目的目標(biāo)是為歐洲列車控制系統(tǒng)提供“開(kāi)放的證明”(Open Proof)，證明可以：
將開(kāi)源許可原則應(yīng)用于鐵路安全(ETCS)和鐵路自動(dòng)化應(yīng)用中的關(guān)鍵軟件組件，特別是在車輛方面，實(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í)施列車控制、列車自動(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ǎ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) | 基于SCADE Suite模型的驗(yàn)證
圖表20: SCADE Suite運(yùn)行最壞運(yùn)行時(shí)間和堆棧分析的工作流
5
SCADE編譯器驗(yàn)證套件 (Complier Verification Kit)
在安全關(guān)鍵項(xiàng)目的開(kāi)發(fā)中，SCADE編譯器驗(yàn)證套件主要有兩大作用
1.CVK支持驗(yàn)證編譯器
在特定的嵌入式操作系統(tǒng)（Embedded OS）上
在特定的中央處理器（CPU）上
在特定的編譯選項(xiàng)（Compiler Option）上
是否可以將SCADE Suite KCG生成的C代碼正確地編譯為目標(biāo)碼。
2.在項(xiàng)目前期通過(guò)使用CVK后，以極小的工作量就可以得出目標(biāo)機(jī)兼容相關(guān)的限制信息。可在此基礎(chǔ)上定制Suite建模規(guī)范，完善DO-178C標(biāo)準(zhǔn)的計(jì)劃過(guò)程中的開(kāi)發(fā)標(biāo)準(zhǔn)。另外，也可以設(shè)計(jì)專門的規(guī)則檢查器，以檢測(cè)設(shè)計(jì)的模型是否違反了定制的建模規(guī)范。
展開(kāi) Ansys電磁和嵌入式系統(tǒng)
ANSYS仿真軟件可為解決天線和雷達(dá)開(kāi)發(fā)、EMI-EMC預(yù)測(cè)、信號(hào)完整性、芯片封裝系統(tǒng)設(shè)計(jì)和電子產(chǎn)品冷卻等復(fù)雜任務(wù)提供高保真工具，使汽車行業(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)證
視頻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ì)的相關(guān)專題、標(biāo)簽、搜索
嵌入式系統(tǒng)設(shè)計(jì)嵌入式系統(tǒng)汽車嵌入式系統(tǒng)嵌入式硬件接口設(shè)計(jì)嵌入式嵌入式硬件設(shè)計(jì) 系統(tǒng)工程電力系統(tǒng)優(yōu)化設(shè)計(jì)EDA設(shè)計(jì)工業(yè)設(shè)計(jì)機(jī)械設(shè)計(jì) 微處理器系統(tǒng)結(jié)構(gòu)與嵌入式系統(tǒng)設(shè)計(jì)操作系統(tǒng)嵌入式linux嵌入式編程制冷系統(tǒng)基于ａｒｍ的嵌入式系統(tǒng)和物聯(lián)網(wǎng)開(kāi)發(fā)航空航天嵌入式散熱航空航天嵌入式航空航天嵌入式噴氣式動(dòng)力系統(tǒng)設(shè)計(jì)
