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

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

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

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