可信嵌入式构件的研究与应用

发布时间：2019-01-02 20:53

【摘要】：最近几年嵌入式系统领域飞速发展，并逐渐演变为云计算和物联网产业的支柱。作为系统的灵魂，尤其是大型复杂系统的嵌入式软件开发，已经成为嵌入式领域竞争的核心。然而，针对不同行业应用的嵌入式开发工作遇到的困难和瓶颈也越来越明显，嵌入式应用也日趋多样化，特别是在医疗、航空航天、汽车、电子、电力能源等行业，如何提供更高效、最佳实践的服务和行业解决方案已成为每一个嵌入式软件工程开发者和开发团队迫切需要解决的问题。目前，基于构件的软件开发（Component-Based Software Development，CBSD）技术已经成熟，该方法在传统的软件开发中业已普遍使用，其优越性在于提高了软件开发效率，，降低了软件开发的费用，保证了构件的质量和灵活性。因此将CBSD方法合理的引入嵌入式软件开发中将能够很好满足嵌入式领域的多样性特点以及对开发效率和软件质量的要求，以及提高嵌入式领域知识的重用性。目前的嵌入式构件模型，要么缺乏通用性，要么缺乏可信保障，要么没有对非功能属性进行表述，存在或多或少的问题。论文在该研究背景下，通过分析CBSD技术，研究通用构件模型，根据嵌入式软件的物理性、实时性、资源受限性、领域性、多样性以及与硬件密切相关等特点，结合当前的相关研究，提出了一种嵌入式构件模型DTESD构件模型。 DTESD构件模型针对当前嵌入式构件模型存在的相关缺陷做了分析和研究，提出了相关弥补方案。DTESD构件不仅具有普通构件的特点，还具有嵌入式构件的专有特性，如物理性、多样性等等。本文详细描述了DTESD构件模型的各个元素，设计了一种系统的元素描述语法；考虑到系统的多样性特点，特别引入可变性原则；针对当前嵌入式构件模型缺乏非功能性描述的弊端以及构件质量保障的问题，专门做了可信研究，将其放置在构件模型四大元素之一的属性元素中做系统研究；为了更加利于分析，结合代数思想，提出了DTESD构件的数学描述方式；最后结合基于DTESD模型做出的应用实例，给出应用分析结果，验证模型的有效性。
[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.
【学位授予单位】：湖南大学
【学位级别】：硕士
【学位授予年份】：2012
【分类号】：TP368.1;TP311.5

【参考文献】