SST-PFB-CLX在*步中得到的功能模塊既可以用硬件也可以用軟件來(lái)實(shí)現(xiàn)。利用形式化的方法，我們可以采用*的選擇。在軟硬件劃分的過(guò)程中，通過(guò)各方面的評(píng)估，例如：時(shí)間復(fù)雜度、花費(fèi)估計(jì)等得到一組*的選擇。在得到了*解以后，就是實(shí)現(xiàn)各模塊了;但是，這里的實(shí)現(xiàn)僅僅只是理論上的，例如：硬件模塊用VHDL描述，軟件模塊用C或C++語(yǔ)言表示。

圖2 SST-PFB-CLX軟硬件協(xié)同設(shè)計(jì)模型

　　zui后一步就是系統(tǒng)整合了。在這個(gè)過(guò)程中，將所有的模塊組合到一起，然后驗(yàn)證這些模塊的組合是否符合系統(tǒng)的形式化說(shuō)明;如果不符合，就要重新進(jìn)行軟硬件的劃分。當(dāng)前的研究熱點(diǎn)之一是對(duì)驗(yàn)證算法的理論研究，利用這些理論算法，*可以將軟硬件的劃分和模塊的驗(yàn)證發(fā)展為自動(dòng)化的過(guò)程。 　　

SST-PFB-CLX由于軟硬件的劃分是基于理論算法的，這在設(shè)計(jì)中可以盡早的暴露問(wèn)題，以減少損失。但是這種設(shè)計(jì)模型也有其局限性（在文中第四部分詳細(xì)說(shuō)明）。 

4 兩種模型的分析與比較 　　

4.1 硬件優(yōu)先設(shè)計(jì)模型分析 　　SST-PFB-CLX利用硬件優(yōu)先這種方法設(shè)計(jì)的嵌入式系統(tǒng)一直到zui后一步才能驗(yàn)證系統(tǒng)設(shè)計(jì)的正確性。因此，在系統(tǒng)開(kāi)發(fā)過(guò)程中通過(guò)反復(fù)修改、反復(fù)試驗(yàn)的方法使產(chǎn)品達(dá)到設(shè)計(jì)要求，這在很大程度上依賴于設(shè)計(jì)者的經(jīng)驗(yàn);而且設(shè)計(jì)周期長(zhǎng)、費(fèi)用開(kāi)支大，產(chǎn)品質(zhì)量難以保證;這是因?yàn)樵诜磸?fù)修改過(guò)程中，常會(huì)在某些方面背離原始設(shè)計(jì)的要求。因此，為了降低設(shè)計(jì)的風(fēng)險(xiǎn)，設(shè)計(jì)人員會(huì)選擇采用己經(jīng)成熟的模塊，而不是自己重新設(shè)計(jì);與此同時(shí)，這種設(shè)計(jì)方法還有一個(gè)很大的缺點(diǎn)：在硬件部分可用之前是不能實(shí)施軟件模塊。由于以上問(wèn)題，硬件優(yōu)先設(shè)計(jì)方法適用于在一些小型和中型復(fù)雜度的系統(tǒng)中;在這些系統(tǒng)中，硬件的復(fù)雜度不高，而且技術(shù)也相對(duì)比較成熟;因此通常都會(huì)選擇這種方法。 　　4.2 軟硬件協(xié)同設(shè)計(jì)模型分析 　　

SST-PFB-CLX在軟硬件協(xié)同設(shè)計(jì)模型中，由于軟硬件的劃分是基于理論算法的，這在設(shè)計(jì)中可以盡早的暴露問(wèn)題，以減少損失;但是，這種設(shè)計(jì)模型也有其局限性，具體表現(xiàn)在： 　　

（1） 可有的信息是否足夠。若要采用形式化的方法描述整個(gè)系統(tǒng)，并且正確的將系統(tǒng)分解為多個(gè)功能模塊的組合體;設(shè)計(jì)者需要知道整個(gè)系統(tǒng)中的功能描述;但是，有些第三方開(kāi)發(fā)的模塊，設(shè)計(jì)者是無(wú)法知道其內(nèi)部功能實(shí)現(xiàn)的;這種情況可能會(huì)導(dǎo)致系統(tǒng)劃分過(guò)程的不準(zhǔn)確。 　　

（2） 軟硬件模塊互相替換的自由度。在這種設(shè)計(jì)模型中，將系統(tǒng)分為軟硬件模塊后，可認(rèn)為各個(gè)模塊都是能夠互相轉(zhuǎn)換的：即原先被劃分為用硬件實(shí)現(xiàn)的模塊也可以用軟件來(lái)實(shí)現(xiàn)，反之亦然。從理論上來(lái)看這是沒(méi)有問(wèn)題的，但在實(shí)際的應(yīng)用中是不能達(dá)到這么靈活的理論高度的

SIEMENS A1-106-180-501 USPP A1106180501

SQUARE D 8839-58EGG4VW NSFP 883958EGG4VW

ITD EMT200-3-R6-1/2 USPP EMT2003R612

FANUC A06B-0651-B205 USPP A06B0651B205

SIEMENS S2-48255-B-001 USPP S248255B001

CUTLER HAMMER ND312T33W NSPP ND312T33W

RELIANCE ELECTRIC 19C401 USPP 19C401

GENERAL ELECTRIC 117D7314G1 USPP 117D7314G1

MEASUREX 053251-00 USPP 05325100

ASEA BROWN BOVERI SAFT-187-CON USPP SAFT187CON

SIEMENS 6SN1145-1BB00-0?EA0 USPP 6SN11451BB000EA?0

YOKOGAWA 376031-02/D/RS2?32C/SIT/LMP NSPP 37603102DRS232C?S

MARCH NETWORKS 4310-DVR USPP 4310DVR

ALLEN BRADLEY 2711P-T15C4D2 USPP 2711PT15C4D2

FANUC A06B-0304-B101 USPP A06B0304B101

MEASUREX 08638700 NSPP 08638700

REXROTH 3WRCE32V180L2X/?SG-24K31/A5M-63?FP NSFP 3WRCE32V180L2XS?G

SIEMENS 15799-220-2 USPP 157992202