Study Of Real-time Embedded Software Component Model And Component Assembly Method

Developing high-quality software needs for market rapidly and effectively has become an important condition that whether a real-time embedded products successed with the development of the real-time embedded applications currently. Component-Based Software Engineering or Component-Based Software Development (CBSE/CBSD) has been used in the development of general systems more and more lately. However, it has not yet been maturely used in the development of real-time embedded system development because of the complexity and characteristics of real-time embedded system. Some of component models of real-time embedded system have efficient solutions for CBSE/CBSD recently, but mostly, they have largely been confined to specific domain and specific platform, lacked of description about real-time behavior and time property more openly, and have disadvantage in reusability. So it is difficult to arrive at opening, adaptability and put CBSE/CBSD through the entire development cycle.Therefore, we researchs on reusable technology for real-time embedded system based on the theory of software engineering, focuses on component assembly mechanism and assembly method. This paper presents a better adaptive software component model named ESDCM that can describe functional and non-functional property and the property of behavior and time, by using the component technology and formal technology. This model gives a set of feasible describing guidelines and the definition of formal specification mechanism.It is qualified for component assembly design by graphical modeling and will accomplish component assembly through the method of specifications reasoning. Firstly, this paper introduces component technology and related formal techniques for real-time embedded software, proposes the abstract software component model ESDCM, defines the model elements,specifications mechanism and gives the definition of interface specifications (BNF paradigm). Secondly, it puts forward the component assembly mechanism and component assembly specification using the extensible Wright (based on CSP and TCSP language), gives the description method for behavior specification and time specification that belong to component assembly specification, emphasizes on the method of behavior reasoning and time reasoning for composite component assembly. Lastly, presents the strategy,process and steps of component assembly based on ESDCM. Besides, a development example of a real-time embedded system is been introduced in order to understand the description method of variety specification in ESDCM and the method of specification reasoning for component assembly.The method using specification reasoning based on ESDCM will inject a new development concept for developing real-time embedded system through CBSE/CBSD. Our target is to build a more useful, simple, open component model and to build a more reasonable component assembly and reasoning mechanism for real-time embedded system. The research in this paper finally presents guidelines of theory and technology servicing for topic works in the future.