基于SCADE的嵌入式軟件開(kāi)發(fā)

嵌入式技術(shù)是計算機發(fā)展的趨勢之一，被廣泛應用于工業(yè)和軍事領(lǐng)域。SCADE（高安全性的應用程序開(kāi)發(fā)環(huán)境）為嵌入式軟件提供了一套基于模型的開(kāi)發(fā)方式。從嵌入式軟件的特點(diǎn)入手，對基于模型的嵌入式系統軟件開(kāi)發(fā)技術(shù)進(jìn)行了深入剖析，并給出了一個(gè)基于SCADE的開(kāi)發(fā)實(shí)例。

1引言

隨著(zhù)嵌入式應用技術(shù)的發(fā)展，嵌入式系統被廣泛應用于人們生活的各個(gè)方面。大量功能強大而價(jià)格便宜的通用嵌入式硬件隨之出現在市場(chǎng)上。而如何能夠在通用硬件平臺上，高效的開(kāi)發(fā)出滿(mǎn)足安全性與可靠性需要的專(zhuān)用嵌入式軟件成為了制約嵌入式技術(shù)應用的瓶頸。在計算機領(lǐng)域，如何為軟件的工業(yè)化大生產(chǎn)創(chuàng )造必要的技術(shù)條件和設計模式一直是軟件工程研究的首要問(wèn)題。無(wú)論是軟件工程領(lǐng)域出現過(guò)的計算機輔助軟件工程的熱潮，還是，基于面向對象技術(shù)和組件技術(shù)的“裝配重用”軟件思路，都有一些根本性的問(wèn)題沒(méi)有得到解決，因此大規模的“裝配”軟件生產(chǎn)還處在一個(gè)理想階段。

隨著(zhù)研究的深入，用模型化。組件化的方法定義并開(kāi)發(fā)軟件及其系統的思想引起了人們的興趣，也提供了一種新的軟件工業(yè)化大生產(chǎn)的可能性。在這方面，嵌入式軟件由于其本身的特殊性走在了通用軟件（PC機用軟件）的前面。

2 SCADE軟件開(kāi)發(fā)環(huán)境簡(jiǎn)介

SCADE（Safety-Critical Application Develop-ment Environment）高安全性的應用程序開(kāi)發(fā)環(huán)境，是法國Esterel Technologies公司研制的一個(gè)用于開(kāi)發(fā)達到歐洲航空業(yè)DO一178B標準的嵌入式軟件的完整工具包。它針對嵌入式軟件的特點(diǎn)，運用了正確構建（Correct by Construction）的概念，提出了一種基于模型的圖形化開(kāi)發(fā)方式，覆蓋了從需求分析到代碼實(shí)現的整個(gè)軟件開(kāi)發(fā)流程。

SCADE開(kāi)發(fā)環(huán)境提供的一系列開(kāi)發(fā)工具，實(shí)現了直觀(guān)的圖形化需求建模功能，基于模型的仿真驗證和軟件測試功能，以及基于模型的標準C代碼和開(kāi)發(fā)文檔的自動(dòng)生成功能。其嚴謹的建模理論和經(jīng)過(guò)高安全性驗證的代碼生成器KCG，保證了軟件需求和代碼產(chǎn)品的高度同步。

SCADE開(kāi)發(fā)環(huán)境的出現，使軟件設計工作可以集中在需求建模的層面，為基于模型的軟件開(kāi)發(fā)方法提供了載體。

3基于SCADE的嵌入式軟件開(kāi)發(fā)理論基礎

根據嵌入式系統的特點(diǎn)，SCADE提出了反應式系統。確定性。同步假設。并發(fā)性四個(gè)關(guān)鍵概念，從嵌入式系統的本質(zhì)特征出發(fā)，極大的簡(jiǎn)化了系統設計的考慮，為基于模型的開(kāi)發(fā)方式提供了理論基礎。

3.1反應式系統

反應式（Reactive system）系統是指在運行過(guò)程中，不停的和外部環(huán)境交換信息，以外部環(huán)境的輸入信息為主導，進(jìn)行特定的計算和輸出的嵌人式系統。

反應式系統的工作方式是一個(gè)“輸入一計算一輸出”的連續循環(huán)過(guò)程。反應式系統一般還兼具實(shí)時(shí)性和周期性，廣泛應用于工業(yè)領(lǐng)域的嵌入式系統大都屬于這種系統。反應式系統的工作方式如圖1所示。

反應式系統的概念，把嵌入式系統簡(jiǎn)化為一個(gè)能不斷接收輸入，并計算輸出的黑盒，為嵌人式系統的需求建模提供了基本模型。

3.2確定性

一個(gè)系統，如果使用相同的一組輸入序列，在相同的時(shí)間調度下，其反應情況相同，始終產(chǎn)生相同的一組輸出，那么它就是確定的。確定性提高了系統的安全性，是大多數嵌入式軟件的重要需求，在航空航天等高科技領(lǐng)域，這也是一個(gè)必要條件。‘確定性的要求降低了系統設計的復雜度，簡(jiǎn)化了系統建模和仿真驗證的考慮。SCADE開(kāi)發(fā)環(huán)境提供的各種機制確保了系統的確定性，開(kāi)發(fā)者不能引入不確定性。

3.3同步假設

同步假設（synchrony hypothesis）是假設反應式系統的處理速度無(wú)限快，即系統在一個(gè)可以忽略不計的瞬間響應輸入，并產(chǎn)生輸出。這樣，任何兩次響應之間都不會(huì )重疊，每一次輸出都會(huì )在下一次輸人前完成。

相對于通用軟件的設計，時(shí)間是嵌入式系統設計必須考慮的一個(gè)因素，而嵌入式軟件的運行時(shí)間又是與硬件環(huán)境息息相關(guān)的。為了簡(jiǎn)化系統設計，SCADE提出了同步假設概念，把物理時(shí)間從系統設計中剝離出來(lái)。一方面確保了系統的實(shí)時(shí)性，另一方面也體現了設計的平臺無(wú)關(guān)性。