實時可信的構件技術研究

2755793 2017-12-07 | rar | 0.34 MB | 次下載 | 3積分

資料介紹

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

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