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 systems models between application systems requirements and actual product. The hierarchy modeling method satisfies software and hardware reuse, which can reduce lots of repetitive work, improve the efficiency, 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, modeling based on real-time component will be introduced in this paper. Through 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 models characterized by finite state machines, 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.
Embedded System Behavior Modeling Interaction Modeling Priority Modeling Component-Based Modeling
CHEN Fulong FAN Xiaoya DENG Lei WEI Jianjun
Aviation Microelectronics Center Northwestern Polytechnical University,School of Computer Science, Northwestern Polytechnical University,Xian ,710072
国际会议
北京
英文
2007-08-05（万方平台首次上网日期，不代表论文的发表时间）