Esterel語言在嵌入式系統(tǒng)開發(fā)中的研究及應(yīng)用.pdf

1、目前,嵌入式技術(shù)在嵌入式應(yīng)用中占主導(dǎo)地位,主要涉及三種技術(shù):1.嵌入式系統(tǒng)設(shè)計即軟件與硬件相協(xié)同驗證技術(shù):2.與基于UML的實時軟件、實時操作系統(tǒng)應(yīng)用開發(fā)等密切相關(guān)的嵌入式軟件開發(fā)技術(shù);3.目前嵌入式應(yīng)用亟待解決的嵌入式軟件測試技術(shù).上述工具的靈活應(yīng)用為嵌入式軟件開發(fā)提供了完整的解決方案.但中國目前嵌入式應(yīng)用的基礎(chǔ)和水平還達不到這個要求,國內(nèi)自主研發(fā)的產(chǎn)品還很少,甚至還是空白.因此隨著嵌入式技術(shù)的普及和推廣,針對嵌入式系統(tǒng)開發(fā)的高級編程

2、語言的研究也勢在必行.目前國內(nèi)幾乎所有的嵌入式軟件開發(fā)技術(shù)都是在Li nux基礎(chǔ)上建立起來的,其他語言在開發(fā)嵌入式軟件方面不是很少就是幾乎沒有,局限于一種語言開發(fā)嵌入式軟件對中國的嵌入式系統(tǒng)開發(fā)和發(fā)展并無益處.Est erel語言是設(shè)計人員用來描述系統(tǒng)的結(jié)構(gòu)和行為的一種形式語言.作為操作編程語言的一種,Esterel語言在中國的使用和介紹的文章目前可以說基本上沒有,在國外,也只是歐盟各國之間在實際的產(chǎn)品開發(fā)中使用Esterel語言,直到

3、2001年的設(shè)計自動化會議期間,Esterel技術(shù)公司才把這種語言引入美國.作為一種描述反應(yīng)式嵌入式系統(tǒng)而開發(fā)的同步可編語言-Esterel語言,在開發(fā)嵌入式系統(tǒng)上具有一定的優(yōu)勢.該文從嵌入式系統(tǒng)的軟件開發(fā)流程、嵌入式系統(tǒng)的組成、嵌入式操作系統(tǒng)的種類、影響嵌入式系統(tǒng)開發(fā)的技術(shù)以及形式化軟件開發(fā)的方法等方面入手,提出利用Esterel語言的優(yōu)勢結(jié)合其他開發(fā)語言,如:ADA語言、C/C++語言等廣泛應(yīng)用于嵌入式系統(tǒng)開發(fā)的高級程序語言來開發(fā)嵌