可信嵌入式構(gòu)件的研究與應(yīng)用
[Abstract]:In recent years, embedded systems have developed rapidly and become the backbone of cloud computing and the Internet of things industry. As the soul of the system, especially the embedded software development of large complex systems, it has become the core of the competition in the embedded field. However, the difficulties and bottlenecks encountered in the development of embedded applications in different industries are becoming more and more obvious, and embedded applications are becoming more and more diversified, especially in the medical, aerospace, automotive, electronics, power and energy industries. How to provide more efficient, best practice services and industry solutions has become an urgent problem for every embedded software engineering developer and development team. At present, the component-based software development (Component-Based Software Development,CBSD) technology is mature, and this method has been widely used in traditional software development. Its advantages lie in improving the efficiency of software development and reducing the cost of software development. The quality and flexibility of the components are guaranteed. Therefore, the reasonable introduction of CBSD method into embedded software development will be able to meet the diversity of the embedded field, development efficiency and software quality requirements, as well as improve the reuse of embedded domain knowledge. The current embedded component model is either lack of generality, credibility guarantee, or non-functional attribute representation, there are more or less problems. In this paper, by analyzing the CBSD technology, the general component model is studied. According to the characteristics of the embedded software, such as physical, real-time, resource limitation, domain, diversity and close relationship with hardware, etc. Based on the current research, an embedded component model (DTESD) is proposed. The DTESD component model analyzes and studies the defects existing in the current embedded component model, and puts forward the relevant compensation scheme. The DTESD component not only has the characteristics of common component, but also has the special characteristics of embedded component, such as physical property. Diversity, etc. In this paper, each element of DTESD component model is described in detail, and a systematic element description syntax is designed, considering the diversity of the system, the principle of variability is introduced. Aiming at the defects of non-functional description of embedded component model and the problem of component quality assurance, a trusted research is done, which is placed in the attribute element of one of the four elements of the component model. In order to be more convenient for analysis, the mathematical description method of DTESD component is put forward in combination with algebraic thought, and finally, the application analysis results based on DTESD model are given to verify the validity of the model.
【學(xué)位授予單位】:湖南大學(xué)
【學(xué)位級別】:碩士
【學(xué)位授予年份】:2012
【分類號】:TP368.1;TP311.5
【參考文獻(xiàn)】
相關(guān)期刊論文 前10條
1 徐亮;姜波;;基于Cortex-M3嵌入式操作系統(tǒng)eCos移植[J];工業(yè)控制計(jì)算機(jī);2009年09期
2 梅宏 ,常繼傳 ,楊芙清;Software component composition based on ADL and Middleware[J];Science in China(Series F:Information Sciences);2001年02期
3 王斌;周亮;朱薇;盛津芳;桂衛(wèi)華;;方面化構(gòu)件組裝體系結(jié)構(gòu)描述語言AWright[J];計(jì)算機(jī)工程;2009年12期
4 杜艷明;高俊;李長云;韓冰;;基于領(lǐng)域本體和QoS的服務(wù)選取方法[J];計(jì)算機(jī)應(yīng)用研究;2012年02期
5 李強(qiáng);;嵌入式軟件實(shí)時(shí)性測試過程研究[J];計(jì)算機(jī)與網(wǎng)絡(luò);2007年18期
6 鄧小娥;葛孝X;;軟件產(chǎn)品線可變性的分析和實(shí)現(xiàn)技術(shù)研究[J];計(jì)算機(jī)應(yīng)用與軟件;2011年09期
7 郎波;劉旭東;王懷民;謝冰;毛曉光;;一種軟件可信分級模型[J];計(jì)算機(jī)科學(xué)與探索;2010年03期
8 毛曉光,鄧勇進(jìn);基于構(gòu)件軟件的可靠性通用模型[J];軟件學(xué)報(bào);2004年01期
9 奉旭輝;中國嵌入式軟件發(fā)展現(xiàn)狀及趨勢[J];信息技術(shù)與信息化;2005年04期
10 林正奎,楊德禮;軟件構(gòu)件復(fù)用技術(shù)綜述[J];計(jì)算機(jī)工程與設(shè)計(jì);2004年06期
本文編號:2398979
本文鏈接:http://sikaile.net/kejilunwen/jisuanjikexuelunwen/2398979.html