今日頭條
官方微信
官方抖音
資訊頻道 目前，嵌入式自動(dòng)生成技術(shù)面臨著(zhù)諸多挑戰。
在嵌入式軟件設計技術(shù)方面，主要表現在以下幾個(gè)方面：
（1）嵌入式系統越來(lái)越多采用SoC，帶來(lái)深度嵌入設計，平臺化需要軟/硬件同步設計。
（2）構件化需要研究適應嵌入式計算特征的構件表達和組合，解決異構嵌入式構件的可組合性分析以及構件組合與驗證等系統構造問(wèn)題。
（3）網(wǎng)絡(luò )化使嵌入式系統呈現開(kāi)發(fā)特性，多模式通信，多任務(wù)協(xié)同等使得傳統的并發(fā)計算模型難以刻畫(huà)網(wǎng)絡(luò )化嵌入式系統的行為。需要研究一種集成化計算模型。解決多計算模型的統一化語(yǔ)義以及多模型的互操作。
（4）嵌入式系統規模越來(lái)越大，系統狀態(tài)與任務(wù)行為呈現較強的動(dòng)態(tài)性和演化性，靜態(tài)任務(wù)調度策略已不適應，系統行為難以預測，帶來(lái)新的可調度性分析問(wèn)題。
在嵌入式系統設計技術(shù)方面，主要表現在以下幾方面：
（1）智能化進(jìn)一步加劇系統狀態(tài)的動(dòng)態(tài)自主演化，增加了系統的正確性和完備性等驗證難度。
（2）關(guān)鍵應用的實(shí)時(shí)性、可靠性、保險性等多維可信特性成為系統非功能特性設計的重點(diǎn)，嵌入式系統同樣存在行為可信問(wèn)題，功能的正確性與完備性+時(shí)間約束、能源消耗、容錯能力等非功能需求，提出了適應非功能性的新型設計模型與驗證方法。例如，如何有效地驗證嵌入式實(shí)時(shí)軟件設計是否滿(mǎn)足給定的時(shí)間規約。
（3）嵌入式應用的普適化環(huán)境，對嵌入系統開(kāi)發(fā)支援提出新的需求，如需要豐富的嵌入式接口仿真能力。
作為解決當前軟件危機的一個(gè)途徑，基于構件的開(kāi)發(fā)在傳統的軟件行業(yè)開(kāi)始了大量的研究和應用，采用構件開(kāi)發(fā)的主要好處如下：
（1）只有少量的軟件部件需要從頭開(kāi)發(fā)，可縮短整個(gè)軟件產(chǎn)品的開(kāi)發(fā)時(shí)間，同時(shí)降低開(kāi)發(fā)成本。
（2）通過(guò)重用已有的經(jīng)過(guò)檢驗的軟件部件，提高了整個(gè)軟件產(chǎn)品的質(zhì)量。
（3）可以減少需要維護的軟件部件（主要是新開(kāi)發(fā)的軟件部件），降低軟件維護成本。
北京市公安局海淀分局備案號：11010802023656號