Study on real-time component-based modeling for embedded system testing

With the development of computer theory and technology, more and more smart embedded devices and systems are applied in many fields. Embedded systems, can be defined as information processing systems embedded into enclosing products. Before designing and developing an actual application system, designers. need get its models. After this, designers can validate and test the feasibility of some design schemes, and obtain some references. Real-time component-based modeling is a Software/Hardware Co-design method for constructing application system's models between application system's requirements and actual product. The hierarchy modeling method satisfies software and hardware reuse, which can reduce lots of repetitive work, improve the efficency, save the costs of production and shorten the period for developing embedded system. Providing designers with a kind of strict and general method for macro-architecture level modeling and implementing embedded system, With the development of computer theory and modeling based on real-time component will be technology, more and more smart embedded devices introduced in this paper. Though defining some components, designers can modeling synchronous and asynchronous communication, event-triggered and time-triggered interaction, distributed and parallel execution, Client/Server and blackboard architecture, etc. In this method, there are three kinds of component models including atomic components' behavior Embedded systems can be defined as information models characterized by finite state machines, processing systems embedded into these enclosing inter-components' interaction models described by composition operators and priority models represented by strict partial order. According to this methodology, an embedded system can be decomposed into many subsystems, which become the biggest independent components and interact with each other through a series of interaction ports. These components can easily be constructed by a set of smaller components and connectors till they are undividable and composed of atomic components characterized by a set of actions and the associated behavior Then, they are composed into a whole system model and the simulation is available. After testing, its performance can be evaluated and be used to determine whether that virtual system can be accomplished accurately and suffices for the given functional and non-functional requirements, or, software code and HDL code can be created automatically for designing an actual product.