Esterel語(yǔ)言在嵌入式系統(tǒng)開(kāi)發(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)用開(kāi)發(fā)等密切相關(guān)的嵌入式軟件開(kāi)發(fā)技術(shù);3.目前嵌入式應(yīng)用亟待解決的嵌入式軟件測(cè)試技術(shù).上述工具的靈活應(yīng)用為嵌入式軟件開(kāi)發(fā)提供了完整的解決方案.但中國(guó)目前嵌入式應(yīng)用的基礎(chǔ)和水平還達(dá)不到這個(gè)要求,國(guó)內(nèi)自主研發(fā)的產(chǎn)品還很少,甚至還是空白.因此隨著嵌入式技術(shù)的普及和推廣,針對(duì)嵌入式系統(tǒng)開(kāi)發(fā)的高級(jí)編程

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

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