實(shí)時(shí)可信的構(gòu)件技術(shù)研究

　　計(jì)算機(jī)的應(yīng)用模式在經(jīng)歷了主機(jī)模式和個(gè)人機(jī)模式后，目前正向普適計(jì)算 （Pervasive Computing）模式發(fā)展。在普適計(jì)算模式下，嵌入式實(shí)時(shí)系統(tǒng)將會(huì)滲透到人們生活的各個(gè)方面，而嵌入式實(shí)時(shí)軟件的質(zhì)量和開(kāi)發(fā)效率往往會(huì)對(duì)一個(gè)嵌入式產(chǎn)品的成功起著決定性的影響。傳統(tǒng)的嵌入式實(shí)時(shí)系統(tǒng)大多采用低級(jí)的程序設(shè)計(jì)語(yǔ)言編寫(xiě)，并在專(zhuān)用的硬件和操作系統(tǒng)之上運(yùn)行，運(yùn)行效率、資源利用率以及與硬件的集成是考慮的主要方面，模塊化和復(fù)用性是在第二位的。但隨著開(kāi)發(fā)要求的提高r時(shí)間、成本），實(shí)時(shí)系統(tǒng)的構(gòu)件化越來(lái)越受到重視，對(duì)于嵌入式實(shí)時(shí)系統(tǒng)利用構(gòu)件化技術(shù)來(lái)提高嵌入式軟件質(zhì)量和開(kāi)發(fā)效率就成了實(shí)時(shí)軟件工程研究的重要內(nèi)容。

　　現(xiàn)在，嵌入式實(shí)時(shí)系統(tǒng)在航空航天、國(guó)防、交通運(yùn)輸和核電能源等諸多安全關(guān)鍵領(lǐng)域中得到了廣泛的應(yīng)用，這類(lèi)系統(tǒng)可稱之安全關(guān)鍵系統(tǒng)SCS （Safety Critical Systems），要求其具有“動(dòng)則成功”的能力，另外，隨著不穩(wěn)定因素的增加，這類(lèi)系統(tǒng)的安全性也被提上日程。但隨著安全關(guān)鍵系統(tǒng)日益龐大和復(fù)雜，帶來(lái)了系統(tǒng)可靠性和安全性下降、投資增加、研發(fā)周期加長(zhǎng)、風(fēng)險(xiǎn)增加等一系列問(wèn)題。利用構(gòu)件化技術(shù)來(lái)開(kāi)發(fā)嵌入式實(shí)耐系統(tǒng)，使系統(tǒng)的高重用性得到了保障，同時(shí)考慮到將實(shí)時(shí)性、可靠性、防危性和安全性封裝在構(gòu)件當(dāng)中，將會(huì)使SCS具有投資小、周期短、研發(fā)一次成功、系統(tǒng)安全可靠的特性。也就是說(shuō)，對(duì)實(shí)時(shí)可信的構(gòu)件技術(shù)進(jìn)行研究具有重要的現(xiàn)實(shí)意義，并將成為今后構(gòu)件技術(shù)發(fā)展的一個(gè)趨勢(shì)。
?