李 特
(中國船舶重工集團公司第七二三研究所,揚州 225001)
隨著時代的進步,科學技術(shù)水平提升,計算機技術(shù)日益成熟和完善,逐漸朝著嵌入式計算機技術(shù)方向發(fā)展。在這種情況下,嵌入式系統(tǒng)越來越受關(guān)注和重視,并得到了廣泛應用。在嵌入式系統(tǒng)中,協(xié)同設計是最關(guān)鍵的開放方式之一,能夠?qū)浻布墓δ苓M行綜合分析,挖掘其內(nèi)在的潛能,促使系統(tǒng)高效運行。
對嵌入式系統(tǒng)的描述主要是從兩方面出發(fā)的,一是性能方面,另一種是功能方面。在系統(tǒng)描述過程中,不僅可以采用一種語言,也可以采用多種語言。同時,這一描述過程也是對軟件模型和系統(tǒng)硬件模型的建立過程。在進行嵌入式系統(tǒng)描述時,為了減少軟硬件協(xié)同設計初期中問題的出現(xiàn),需要做好系統(tǒng)內(nèi)行為的測試工作。一方面,可以在第一時間發(fā)設計中不合理的地方;另一方為系統(tǒng)安全、可靠運行提供了保證。系統(tǒng)描述需要以系統(tǒng)模型為支撐,為了進行正確的描述,應該確保該模型包括四個元素。一是功能特點,也就是指嵌入式系統(tǒng)的各項功能,同時應該重點明確功能和系統(tǒng)的輸入和輸出關(guān)系。第二是性能描述,在系統(tǒng)模型中,融入這一因素,能夠比較全面的反映系統(tǒng)的整體結(jié)構(gòu),并且需要說明系統(tǒng)輸入與輸出的聯(lián)系[1]。第三是約束條件,該要素不僅對嵌入式系統(tǒng)性能缺陷進行了說明,而且還合理的對系統(tǒng)工作環(huán)境中的要求進行了規(guī)定。第四是技術(shù)指標,其能夠?qū)ο到y(tǒng)存在的問題、質(zhì)量好壞進行說明,為設計工作開展奠定良好基礎(chǔ)。
在嵌入式系統(tǒng)的軟硬件協(xié)同設計中,軟硬綜合技術(shù)是最重要的技術(shù)之一,在軟硬件系統(tǒng)的大體設計方面發(fā)揮著重要作用。在對其設計結(jié)果進行系統(tǒng)檢測評價的基礎(chǔ)上,可以根據(jù)設計要求,有針對性的開展細致的系統(tǒng)制作工作,并且進行軟硬件的設計,確保其協(xié)調(diào)一致,進而可提升設計的科學性,對整個系統(tǒng)運行效率提高具有重要意義。
在進行軟硬件功能劃分工作中,主要是科學合理的劃分軟硬件和嵌入式系統(tǒng)功能,并對二者的關(guān)系進行明確。其中,成本函數(shù)是軟硬件功能劃分的主要依據(jù)之一。在運用成本函數(shù)方面時,需要考慮多方面因素。例如,模塊之間的并發(fā)性、軟件執(zhí)行時間等。
在協(xié)調(diào)仿真和系統(tǒng)測試驗證方面,需要借助硬件描述語言進行嵌入式系統(tǒng)硬件系統(tǒng)的描述工作。為了有效完成設計工作,滿足設計要求,需要對軟件搭配硬件的方法進行合理的應用,以便為接下來的設計工作創(chuàng)造良好的環(huán)境,不僅能夠在整體上提高設計效率與質(zhì)量,而且還能減少設計成本,確保良好的經(jīng)濟效益。
在嵌入式系統(tǒng)廣泛應用的今天,新的系統(tǒng)設計方法也層出不窮,其中軟硬件協(xié)同設計方法是最主要的一種,得到了國際認可,它屬于一種合乎規(guī)范的軟硬件描述方法,有利于滿足現(xiàn)階段嵌入式系統(tǒng)軟硬件協(xié)同設計要求。其具體設計方法主要有以下幾種:
第一,基于有限態(tài)自動機的方法。在嵌入式系統(tǒng)軟硬件協(xié)同設計中,運用該方法,不僅能夠?qū)ψ陨硇袨檫M行有效的描述,而且還可以比較詳細的描述軟件模型和硬件模型。與此同時,基于有限態(tài)自動機的方法可以科學的進行嵌入式系統(tǒng)軟硬件的劃分,并在此基礎(chǔ)上進行整合,對實際轉(zhuǎn)化過程進行說明。但該方法存在著一定的局限性,主要是因為其適用性不是很強,一般來說其不適合應用于大規(guī)模嵌入式控制系統(tǒng)的開發(fā)。
第二,基于VHDL 方法。相對而言,運用該方法進行嵌入式系統(tǒng)軟硬件協(xié)同設計的描述,具有方便快捷的優(yōu)勢。在實際描述中,通常情況下會將系統(tǒng)功能描述為VHDL 特性影響的進程,在系統(tǒng)功能評估方面也發(fā)揮著重要作用,因此不僅有利于提高嵌入式系統(tǒng)的可靠性,而且還能確保其具有良好的可操作性,可以高效的進行研究開發(fā)內(nèi)容的轉(zhuǎn)換[2]。
第三,基于遺傳算法的劃分方法。在嵌入式系統(tǒng)軟硬件系統(tǒng)設計中,采用基于遺傳算法的劃分方法,可以從不同方面研究群體局部優(yōu)化、空間編碼等,通過科學的分析計算,能夠有效進行軟件和硬件劃分。其劃分工作的完成,需要借助遺傳操作的方式,并通過遺傳算法進行系統(tǒng)調(diào)試工作,既能促使設計成本降低,又能提高設計科學性。同時,在劃分過程中,一旦出現(xiàn)劃分問題,也可以運用相應的算法及時解決問題。
第四,形式化的驗證方法。運用該方法,需要依據(jù)嵌入式系統(tǒng)軟硬件設計的要求,建立相應的數(shù)學模型。在進行系統(tǒng)判斷時,還需要對相應算法進行合理的應用,以便確保系統(tǒng)的正確性,使各項性能在合格的范圍之內(nèi)。相對而言,形式化的驗證方法具有算法精確的獨特優(yōu)勢。但在嵌入式系統(tǒng)軟硬件系統(tǒng)設計中,其使用率不是很高,主要是因為其無法滿足硬件需求。因此,在設計中,只是將其作為一種系統(tǒng)的驗證方法,判斷系統(tǒng)的正確與否。
總之,嵌入式系統(tǒng)的軟硬件協(xié)同設計是當前應用廣泛的課題之一。協(xié)同設計具體方法主要有形式化的驗證方法、基于VHDL、有限態(tài)自動機的方法和基于遺傳算法的劃分方法。在各類嵌入式系統(tǒng)設計中,運用協(xié)同設計方法,有利于降低設計成本,對現(xiàn)有資源進行合理配置,確保設計科學性,可以促使系統(tǒng)高效運行。