Research And Implementation Of Component Model In Embedded Product Line

In recent years,due to the widespread use of more powerful hardware in embedded systems,the size and complexity of embedded software are increasing rapidly,and the embedded software has been regarded as one of the most dominate factors influencing the functionality and quality of the whole system.With the increasing number of embedded software,the number of its variability is growing faster.Therefore,the urgent need of the software product line is presented in the embedded software field,especially in terms of size and complexity of software beyond the scope of traditional methods can control.The component-based software development(CBSD)methodology has grown up as the main-stream in software engineering.By means of the construction and composition of the reusable software components,more complicated systems can be built effectively with a high reliability.Generally,an embedded system in embedded product line is composed of some interactive subsystems.The embedded software system shows more component-based features than those general-purpose computing systems.Therefore,the CBSD introduced to the embedded product line can satisfy the characteristics of embedded systems diversity and quality,development efficiency.Based on the background of embedded software product line,this paper presents a formal embedded component model to facilitate embedded systems development,which we called ECM(Embedded Component Model),and provides DTSED component production toolkit as a support platform for the embedded component model.Then,based on the ECM,this paper proposes a quality-centric approach for software component identification method to realize the reconstruction of legacy systems which can reasonable use of effective value of legacy system,and create the industry benefits.The main works of this paper are as follows:Firstly,this paper presents a formal embedded component model to facilitate embedded systems development,which we called ECM(Embedded Compon ent Model).On the basis of the existing component model,this paper shows the conceptions of embedded component model(ECM)elements and presents the corresponding formal semantics.In addition,connectors,component property,connection constraints and other issues are also discussed.Component combination operations are defined as arithmetic between components that ensure the components in different levels of abstraction and a clear and strict definition of their relationship.Then the corresponding techniques such as component property,connection constraints and ECM hierarchy are also discussed.Next,a formal algebraic model of ECM is proposed which can provide theoretical support for the design and implementation of embedded systems.The ultimate goal of ECM is to guide the development of embedded systems,which requires a good support platform that can be used to achieve component production,reuse and management.This paper develops DTSED component production toolkit as a support platform for the emb edded component model that supports the implementation,validation,assembly,execution and management of components,which can help understand,track and reuse the ECM.Then,a case study of a noninvasive ventilator product is introduced to explain how th e above ECM and DTSED component production toolkit can be used.A quality-centric approach for software component identification method on a fitness function to measure the quality of a component is proposed in this paper.This method includes two extraction algorithms: identify the internal structure of component and identify provided and required interfaces of components.At the same time,the application case is given,which proved the feasibility of this method.